From 83329d8e805fdf702bd013c11a67e4a19c398d1c Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Wed, 28 Nov 2007 20:35:49 +0000
Subject: [PATCH] Added -enable-assertions option to help display

---
 Robust/src/buildscript | 2 ++
 1 file changed, 2 insertions(+)

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
 
-- 
2.34.1