From 447bb6db0eb903cc93814b19fdcfcbb65788ce77 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 1 Sep 2013 07:58:58 -0700
Subject: [PATCH] Make sure we have unlimited stack space for testing the
 scripts

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 tests/lean/test.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/lean/test.sh b/tests/lean/test.sh
index f94632525..21a4b5b75 100755
--- a/tests/lean/test.sh
+++ b/tests/lean/test.sh
@@ -3,6 +3,7 @@ if [ $# -ne 2 -a $# -ne 1 ]; then
     echo "Usage: test.sh [lean-executable-path] [yes/no]?"
     exit 1
 fi
+ulimit -s unlimited
 LEAN=$1
 if [ $# -ne 2 ]; then
     INTERACTIVE=no