Double available stack when compiling OCaml binaries for saturated so…

…linas
mit-plv · Nov 11, 2022 · 623676f · 623676f
1 parent 49b71dd
commit 623676f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/etc/ensure_stack_limit.sh b/etc/ensure_stack_limit.sh
@@ -2,7 +2,7 @@
 
 set -eu
 
-recstacksize=32768
+recstacksize=65536
 if command -v ulimit >/dev/null 2>/dev/null; then
     hardstacksize="$(ulimit -H -s || true)"
     (