From: adash <adash>
Date: Sun, 27 Apr 2008 18:34:47 +0000 (+0000)
Subject: add java option to increase memory available to the JVM
X-Git-Tag: preEdgeChange~129
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=0dcf92a14fbeecbea75e507d260d9a83150242dd;p=IRC.git

add java option to increase memory available to the JVM
---

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index c03b5802..f0140385 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -212,8 +212,8 @@ $JAVAOPTS $SRCFILES
 then exit $?
 fi
 else
-#if ! java -Xms5m -Xmx100m $JAVAFORWARDOPTS -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
-if ! java $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
+#if ! java -Xms5m -Xmx100m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
+if ! java -Xms5m -Xmx100m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 $ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise \
 $JAVAOPTS $SRCFILES
 then exit $?