changes
authorbdemsky <bdemsky>
Sun, 17 Apr 2011 08:23:44 +0000 (08:23 +0000)
committerbdemsky <bdemsky>
Sun, 17 Apr 2011 08:23:44 +0000 (08:23 +0000)
Robust/src/buildscript

index 4af2cb7b67688082f590b1634b0d3192d39eb2fc..462291ebdfaecf9a8fda9afd38b9dbb4d5e40d2b 100755 (executable)
@@ -795,7 +795,7 @@ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaSTM"
 elif $THREADFLAG
 then
 #threading java stuff
-JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread"
+JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread -classlibrary $ROBUSTROOT/ClassLibrary/Java"
 else
 #base java stuff
 JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Java"