Added -enable-assertions option to help display

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index c2995832f1b52d4472e71aa82c76a733ed4201a3..fde52d795c08d0099722c9024f987a19950731b9 100755 (executable)
--- 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