From: jjenista <jjenista>
Date: Wed, 28 Nov 2007 20:35:49 +0000 (+0000)
Subject: Added -enable-assertions option to help display
X-Git-Tag: preEdgeChange~355
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=83329d8e805fdf702bd013c11a67e4a19c398d1c;p=IRC.git

Added -enable-assertions option to help display
---

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index c2995832..fde52d79 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -22,6 +22,7 @@ echo -mainclass class with main method
 echo -o binary
 echo -instructionfailures inject code for instructionfailures
 echo -profile build with profile options
+echo "-enable-assertions execute assert statements during compilation"
 echo -help help
 }
 
@@ -38,6 +39,7 @@ SPECDIR=`pwd`
 SRCFILES=''
 EXTRAOPTIONS=''
 MAINFILE='a'
+JAVAFORWARDOPTS=''
 JAVAOPTS=''
 OPTIONALFLAG=false