From 4fb1afc60e3af83e6184c77ea2cb002def542a96 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Thu, 1 Mar 2012 14:26:24 +0100
Subject: [PATCH] Pass debugging flags to malloc.

---
 src/common_stub.cpp | 3 +++
 src/common_stub.hpp | 1 -
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/common_stub.cpp b/src/common_stub.cpp
index dde97fa..12b354e 100644
--- a/src/common_stub.cpp
+++ b/src/common_stub.cpp
@@ -6,6 +6,8 @@
 extern "C" {
 #include <sys/time.h>
 #include <sys/resource.h>
+#include <malloc.h>
+
 }
 
 using std::string;
@@ -81,6 +83,7 @@ extern "C" value sxsi_cpp_init(value unit)
     rlim.rlim_cur = RLIM_INFINITY;
     setrlimit(RLIMIT_STACK, &rlim);
   };
+  //  mallopt(M_MMAP_THRESHOLD, 0);
 
   return Val_unit;
 }
diff --git a/src/common_stub.hpp b/src/common_stub.hpp
index 438b5d2..47b6dcd 100644
--- a/src/common_stub.hpp
+++ b/src/common_stub.hpp
@@ -11,7 +11,6 @@ extern "C" {
 #include <caml/fail.h>
 #include <caml/custom.h>
 #include <caml/bigarray.h>
-
 }
 #include <typeinfo>
 
-- 
2.17.1