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, 0 insertions, 15 deletions
diff --git a/cad/cvc/files/patch-src_mmap__file__pool.cpp b/cad/cvc/files/patch-src_mmap__file__pool.cpp deleted file mode 100644 index 8718ccdeb8d3..000000000000 --- a/cad/cvc/files/patch-src_mmap__file__pool.cpp +++ /dev/null @@ -1,15 +0,0 @@ ---- 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"); |