summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPacho Ramos <pacho@gentoo.org>2015-04-26 12:44:07 +0000
committerPacho Ramos <pacho@gentoo.org>2015-04-26 12:44:07 +0000
commit7a22d3451076a07775f5fce083a16e7dddd3aaca (patch)
treecc6787c5a9d30c64dbbb68f317f7b199afef48e8 /dev-lang/mosml/files
parentRemove masked for removal package (diff)
downloadgentoo-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.patch19
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);