From ae748abe3fa161489db3a9d145f7dc957ba6d109 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 2 May 2007 22:05:16 +0000
Subject: [PATCH] add option

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

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