small changes to buildscript to add runtime check for STM

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 427f3b54c47c4c28802bc47e64fdca6d60b0697d..3b4efbc7beeed9bc433341b0c1a1b56da3724e7f 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -141,6 +141,7 @@ DSMFLAG=true
 elif [[ $1 = '-singleTM' ]]
 then
 JAVAOPTS="$JAVAOPTS -singleTM"
+EXTRAOPTIONS="$EXTRAOPTIONS -DSTM"
 SINGLETM=true
 elif [[ $1 = '-prefetch' ]]
 then
@@ -477,8 +478,8 @@ fi
 
 if $SINGLETM
 then
-EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -I$DSMRUNTIME"
-FILES="$FILES $DSMRUNTIME/singleTMCommit.c $DSMRUNTIME/objstr.c $DSMRUNTIME/clookup.c $DSMRUNTIME/threadnotify.c"
+EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER"
+FILES="$FILES $DSMRUNTIME/dsmlock.c $DSMRUNTIME/singleTMCommit.c $DSMRUNTIME/clookup.c"
 fi
 
 if $ABORTREADERS