From c2fee24dd712d3b9f52f2fe9a21c784a0838d104 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 3 Jul 2015 22:33:04 +0000 Subject: [PATCH] Set Windows launch script java memory limits to match other OSs. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10184 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/bin/prism.bat.win | 2 +- prism/src/bin/xprism.bat.win | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/bin/prism.bat.win b/prism/src/bin/prism.bat.win index 5869724b..f7e2eec3 100755 --- a/prism/src/bin/prism.bat.win +++ b/prism/src/bin/prism.bat.win @@ -21,4 +21,4 @@ rem - lib/*.jar (all other jars) set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip;%PRISM_DIR%\lib\* rem Run PRISM through Java -java -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" prism.PrismCL %* +java -Xmx1g -Xss4M -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" prism.PrismCL %* diff --git a/prism/src/bin/xprism.bat.win b/prism/src/bin/xprism.bat.win index 1f6a4271..b3b77a23 100755 --- a/prism/src/bin/xprism.bat.win +++ b/prism/src/bin/xprism.bat.win @@ -21,5 +21,5 @@ rem - lib/*.jar (all other jars) set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip;%PRISM_DIR%\lib\* rem Run PRISM through Java -start "PRISM" javaw -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %* +start "PRISM" javaw -Xmx1g -Xss4M -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %* exit \ No newline at end of file