diff options
Diffstat (limited to 'cad/cvc/files/patch-src_mmap__file__pool.cpp')
-rw-r--r-- | cad/cvc/files/patch-src_mmap__file__pool.cpp | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/cad/cvc/files/patch-src_mmap__file__pool.cpp b/cad/cvc/files/patch-src_mmap__file__pool.cpp new file mode 100644 index 000000000000..8718ccdeb8d3 --- /dev/null +++ b/cad/cvc/files/patch-src_mmap__file__pool.cpp @@ -0,0 +1,15 @@ +--- src/mmap_file_pool.cpp.orig 2021-12-28 19:09:39 UTC ++++ src/mmap_file_pool.cpp +@@ -116,7 +116,12 @@ namespace mmap_allocator_namespace { + throw mmap_allocator_exception("Error in remmap(fd)"); + + void *last_address = memory_area; ++#if defined(__FreeBSD__) ++ memory_area = mmap(last_address, size_mapped, PROT_READ, MAP_SHARED, fd, 0); ++#else + memory_area = mmap(last_address, size_mapped, PROT_READ, MAP_SHARED | MAP_NORESERVE, fd, 0); ++#endif ++ + if (memory_area == MAP_FAILED) { + if (get_verbosity() > 0) { + perror("mmap"); |