From: bdemsky <bdemsky>
Date: Wed, 2 May 2007 22:05:16 +0000 (+0000)
Subject: add option
X-Git-Tag: preEdgeChange~601
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ae748abe3fa161489db3a9d145f7dc957ba6d109;p=IRC.git

add option
---

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 19d68dd1..3253937f 100755
--- 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