From 7b2e345323a9b36c50a90d2ad976eeec715aedbb Mon Sep 17 00:00:00 2001 From: bdemsky Date: Sun, 17 Apr 2011 08:29:16 +0000 Subject: [PATCH] *** empty log message *** --- Robust/src/buildscript | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Robust/src/buildscript b/Robust/src/buildscript index 462291eb..7a8fff12 100755 --- a/Robust/src/buildscript +++ b/Robust/src/buildscript @@ -775,7 +775,8 @@ elif $MGCFLAG then #base multicore gc files JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/MGC/ -classlibrary $ROBUSTROOT/ClassLibrary/MGC/gnu/" -elif $RECOVERFLAG +else +if $RECOVERFLAG then if $FASTCHECK then @@ -795,8 +796,8 @@ JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaSTM" elif $THREADFLAG then #threading java stuff -JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread -classlibrary $ROBUSTROOT/ClassLibrary/Java" -else +JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/JavaThread" +fi #base java stuff JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/Java" fi -- 2.34.1