Allow buildscript user to enable java assertions during runtime.

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index c8e18e401bb11f94b05afd568c2b577169ffee15..c2995832f1b52d4472e71aa82c76a733ed4201a3 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -102,6 +102,9 @@ elif [[ $1 = '-check' ]]
 then
 CHECKFLAG=true
 JAVAOPTS="$JAVAOPTS -conscheck"
+elif [[ $1 = '-enable-assertions' ]]
+then
+JAVAFORWARDOPTS="$JAVAFORWARDOPTS -ea"
 elif [[ $1 = '-specdir' ]]
 then
 cd $2
@@ -150,7 +153,7 @@ fi
 
 # Build bristlecone/java sources
 
-if ! java -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
+if ! java $JAVAFORWARDOPTS -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 $ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise \
 $JAVAOPTS $SRCFILES
 then exit $?