diff options
author | Pacho Ramos <pacho@gentoo.org> | 2015-04-26 12:44:07 +0000 |
---|---|---|
committer | Pacho Ramos <pacho@gentoo.org> | 2015-04-26 12:44:07 +0000 |
commit | 7a22d3451076a07775f5fce083a16e7dddd3aaca (patch) | |
tree | cc6787c5a9d30c64dbbb68f317f7b199afef48e8 /dev-lang/mosml/files | |
parent | Remove masked for removal package (diff) | |
download | gentoo-2-7a22d3451076a07775f5fce083a16e7dddd3aaca.tar.gz gentoo-2-7a22d3451076a07775f5fce083a16e7dddd3aaca.tar.bz2 gentoo-2-7a22d3451076a07775f5fce083a16e7dddd3aaca.zip |
Remove masked for removal package
Diffstat (limited to 'dev-lang/mosml/files')
-rw-r--r-- | dev-lang/mosml/files/mosml-2.01-malloc.patch | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/dev-lang/mosml/files/mosml-2.01-malloc.patch b/dev-lang/mosml/files/mosml-2.01-malloc.patch deleted file mode 100644 index 3fba15b4d0ab..000000000000 --- a/dev-lang/mosml/files/mosml-2.01-malloc.patch +++ /dev/null @@ -1,19 +0,0 @@ ---- src/runtime/gc_ctrl.c.orig 2000-01-21 04:07:13.000000000 -0600 -+++ src/runtime/gc_ctrl.c 2008-03-05 13:20:07.000000000 -0600 -@@ -1,3 +1,7 @@ -+/* mosml/src/runtime/gc_ctrl.c -+ Updated 2008-03-05 to prevent malloc from using mmap() -+*/ -+#include <malloc.h> - #include "alloc.h" - #include "debugger.h" - #include "gc.h" -@@ -191,6 +195,8 @@ - gc_message ("*** camlrunm: debug mode ***\n", 0); - #endif - verb_gc = verb; -+ /* Added 2008-03-05 to prevent malloc from using mmap() */ -+ mallopt(M_MMAP_MAX, 0); - set_minor_heap_size (Bsize_wsize (norm_minsize (minor_size))); - major_heap_increment = Bsize_wsize (norm_heapincr (major_incr)); - percent_free = norm_pfree (percent_fr); |