From: yeom <yeom>
Date: Wed, 29 Jun 2011 22:15:33 +0000 (+0000)
Subject: add debug flag for ssjava
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9936990c3fa2a468074f9ef761571013d7a8a8c4;p=IRC.git

add debug flag for ssjava
---

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 6a6c6f0f..7d672df9 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -106,6 +106,7 @@ echo -gctbldebug generate GC_TBL_DEBUG code
 echo
 echo SSJava options
 echo -ssjava enables SSJava
+echo -ssjavadebug reports interim results
 echo
 echo Other options
 echo -jni enable jni
@@ -609,6 +610,10 @@ then
 SSJAVA=true
 JAVAOPTS="$JAVAOPTS -ssjava"
 
+elif [[ $1 = '-ssjavadebug' ]]
+then
+JAVAOPTS="$JAVAOPTS -ssjavadebug"
+
 elif [[ $1 = '-mempool-detect-misuse' ]]
 then
 EXTRAOPTIONS="$EXTRAOPTIONS -DMEMPOOL_DETECT_MISUSE"