add option

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 19d68dd115473f240019813bc5a0d0453bd62058..3253937f22da7f509241d5ae964d1947d16be453 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -5,6 +5,7 @@ echo -check generate check code
 echo -dmalloc link in dmalloc
 echo -recover compile task code
 echo -specdir directory
+echo -taskstate do task state analysis
 echo -debug generate debug symbols
 echo -runtimedebug printout runtime debug messages
 echo "-thread use support for multiple threads"
@@ -50,6 +51,9 @@ elif [[ $1 = '-mainclass' ]]
 then
 JAVAOPTS="$JAVAOPTS -mainclass $2"
 shift
+elif [[ $1 = '-taskstate' ]]
+then
+JAVAOPTS="$JAVAOPTS -taskstate"
 elif [[ $1 = '-dmalloc' ]]
 then
 USEDMALLOC=true