From c9f1e22c09b9875dc58e65acda019827b04036f5 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 9 Aug 2002 11:10:34 +0000
Subject: 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
---
 tools/checkstack.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/checkstack.c')

diff --git a/tools/checkstack.c b/tools/checkstack.c
index 23f0a922e..14b5726fb 100644
--- 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)
 {
-- 
cgit v1.2.3-70-g09d2