add debug flag for ssjava

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 6a6c6f0fa312f19761f9fc8351987b4f649e415c..7d672df9b44b4cf81fac9dc89af6c2d00c549e23 100755 (executable)
--- 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"