add optional option

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 8600fd83ae294d213534426ad6d08b03cb34d4da..fe74bbc2dcb233354146157070b5cdfdee0c63cd 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -6,6 +6,7 @@ echo -dmalloc link in dmalloc
 echo -recover compile task code
 echo -specdir directory
 echo -taskstate do task state analysis
+echo -optional enable optional
 echo -debug generate debug symbols
 echo -webinterface enable web interface
 echo -runtimedebug printout runtime debug messages
@@ -55,6 +56,9 @@ shift
 elif [[ $1 = '-taskstate' ]]
 then
 JAVAOPTS="$JAVAOPTS -taskstate"
+elif [[ $1 = '-optional' ]]
+then
+JAVAOPTS="$JAVAOPTS -optional"
 elif [[ $1 = '-dmalloc' ]]
 then
 USEDMALLOC=true