Reduit la taille de pile minimum a 1.5 Mo. Sur PC Linux, 1 Mo suffit …

…pour make opt.opt (PR#1313) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5095 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
lucasaiu · Aug 9, 2002 · af65929 · af65929
1 parent 147fd94
commit af65929
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/checkstack.c b/tools/checkstack.c
@@ -18,7 +18,7 @@
 #include <sys/time.h>
 #include <sys/resource.h>
 
-#define MINSTACKBYTES (512 * 1024 * sizeof (long))
+#define MINSTACKBYTES (384 * 1024 * sizeof (long))
 
 int main(int argc, char ** argv)
 {