From ad0e9d45fdab9859111fb67f73bcf81ae12cf773 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 18 Jul 2007 01:03:03 +0000
Subject: [PATCH] add optional option

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

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 8600fd83..fe74bbc2 100755
--- 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
-- 
2.34.1