From 722e30ec509558d08f8745b85c48b88609d83026 Mon Sep 17 00:00:00 2001
From: Robby <robby@santoslab.org>
Date: Sun, 17 Mar 2024 18:24:35 -0500
Subject: [PATCH] Increased stack size to 4M.

---
 bin/build.cmd | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bin/build.cmd b/bin/build.cmd
index 0b097732..b4e1b892 100755
--- a/bin/build.cmd
+++ b/bin/build.cmd
@@ -128,7 +128,7 @@ def compile(): Unit = {
     didCompile = T
     tipe()
     println("Compiling ...")
-    proc"java -Xss2M -jar $sireumJar proyek compile --project $projectStandalone $home".console.echo.runCheck()
+    proc"java -jar $sireumJar proyek compile --project $projectStandalone $home".console.echo.runCheck()
     println()
   }
 }
@@ -137,8 +137,8 @@ def compile(): Unit = {
 def test(): Unit = {
   compile()
   println("Running shared tests ...")
-  proc"java -Xss2M -jar $sireumJar proyek test --project $projectStandalone --packages org.sireum $home org.sireum.logika".
-    env(ISZ("JAVA_OPTS" ~> "-Xss2M")).console.echo.runCheck()
+  proc"java -Xss4M -jar $sireumJar proyek test --project $projectStandalone --packages org.sireum $home org.sireum.logika".
+    console.echo.runCheck()
   println()
 }