change

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index b5d760d205c2afad77764a07f7ecd5b11221bbb0..7e0c565a26d4c1234892f55c4dd4d6c00d98a9f7 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -604,6 +604,7 @@ EXTRAOPTIONS="$EXTRAOPTIONS -DOOO_DISABLE_TASKMEMPOOL"
 elif [[ $1 = '-ssjava' ]]
 then
 SSJAVA=true
+JAVAOPTS="$JAVAOPTS -ssjava"
 
 elif [[ $1 = '-mempool-detect-misuse' ]]
 then