From 9936990c3fa2a468074f9ef761571013d7a8a8c4 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Wed, 29 Jun 2011 22:15:33 +0000
Subject: [PATCH] add debug flag for ssjava

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

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