From c94e3d181dec110fc0bd7071a555631cd2a3863d Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Wed, 27 Apr 2011 18:42:06 +0000
Subject: [PATCH] change

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

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index b5d760d2..7e0c565a 100755
--- 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
-- 
2.34.1