From 3cb8db68996707ecf1a05f9fe35557010a306a43 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 3 Jul 2015 22:31:08 +0000 Subject: [PATCH] Set default Java heap size to 1g (2g might be too high in some cases). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10183 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/bin/prism.cygwin | 2 +- prism/src/bin/prism.darwin32 | 2 +- prism/src/bin/prism.darwin64 | 2 +- prism/src/bin/prism.linux | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/src/bin/prism.cygwin b/prism/src/bin/prism.cygwin index c4b8c82f..1caf7a3b 100644 --- a/prism/src/bin/prism.cygwin +++ b/prism/src/bin/prism.cygwin @@ -19,7 +19,7 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM" else # default - PRISM_JAVAMAXMEM="-Xmx2g" + PRISM_JAVAMAXMEM="-Xmx1g" fi PRISM_JAVASTACKSIZE="-Xss4M" diff --git a/prism/src/bin/prism.darwin32 b/prism/src/bin/prism.darwin32 index faabd4e9..716fdd9e 100755 --- a/prism/src/bin/prism.darwin32 +++ b/prism/src/bin/prism.darwin32 @@ -27,7 +27,7 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM" else # default - PRISM_JAVAMAXMEM="-Xmx2g" + PRISM_JAVAMAXMEM="-Xmx1g" fi PRISM_JAVASTACKSIZE="-Xss4M" diff --git a/prism/src/bin/prism.darwin64 b/prism/src/bin/prism.darwin64 index ecddf04e..11d2f677 100755 --- a/prism/src/bin/prism.darwin64 +++ b/prism/src/bin/prism.darwin64 @@ -27,7 +27,7 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM" else # default - PRISM_JAVAMAXMEM="-Xmx2g" + PRISM_JAVAMAXMEM="-Xmx1g" fi PRISM_JAVASTACKSIZE="-Xss4M" diff --git a/prism/src/bin/prism.linux b/prism/src/bin/prism.linux index bbff65e1..1b930b06 100755 --- a/prism/src/bin/prism.linux +++ b/prism/src/bin/prism.linux @@ -27,7 +27,7 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM" else # default - PRISM_JAVAMAXMEM="-Xmx2g" + PRISM_JAVAMAXMEM="-Xmx1g" fi PRISM_JAVASTACKSIZE="-Xss4M"