diff options
| author |  peter mueller peter.mueller@inf.ethz.ch <unknown> | 2011-09-19 21:02:06 +0200 |
|---|---|---|
| committer | peter mueller peter.mueller@inf.ethz.ch <unknown> | 2011-09-19 21:02:06 +0200 |
| commit | 809f3dbb4a458ce0b9bd4584cdb074e4a16fd1f2 (patch) | |
| tree | 891945b9684e39cb1c8fb55664bd0304fa57b374 /Chalice | |
| parent | 7189e6fd2e4a5d880e65be0b76d77f64cc6a6c61 (diff) | |
Adapted batch file to use larger JVM stack size.
Diffstat (limited to 'Chalice')
| -rw-r--r-- | Chalice/chalice.bat | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Chalice/chalice.bat b/Chalice/chalice.bat index beb80b80..e4bbf5da 100644 --- a/Chalice/chalice.bat +++ b/Chalice/chalice.bat @@ -2,7 +2,7 @@ SetLocal EnableDelayedExpansion
set ROOT_DIR=%~dp0
-set JAVA_EXE=java
+set JAVA_EXE=java
REM Attention: 'where' might not be available on all Windows versions
call where %JAVA_EXE% > NUL
@@ -39,7 +39,7 @@ set CHALICE_OPTS=%CHALICE_OPTS% /boogieOpt:nologo set CHALICE_OPTS=%CHALICE_OPTS% %*
REM Assemble main command
-set CMD=%JAVA_EXE% -cp %CP% %CHALICE_MAIN% %CHALICE_OPTS%
+set CMD=%JAVA_EXE% -cp %CP% -Xss16M %CHALICE_MAIN% %CHALICE_OPTS%
REM echo.
REM echo %CMD%
@@ -51,4 +51,4 @@ exit /B 0 :exit_with_error
-exit /B 1
\ No newline at end of file +exit /B 1
|