From 4a86f5e49b42e34af21790f99e0db494c7feee7b Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Tue, 27 Nov 2007 02:50:09 +0000
Subject: [PATCH] Allow buildscript user to enable java assertions during
 runtime.

---
 Robust/src/buildscript | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index c8e18e40..c2995832 100755
--- 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 $?
-- 
2.34.1