From: yeom <yeom>
Date: Wed, 27 Apr 2011 18:42:06 +0000 (+0000)
Subject: change
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c94e3d181dec110fc0bd7071a555631cd2a3863d;p=IRC.git

change
---

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