changes

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 7b2213f8992cd886a900e5d127059c8c35a757ac..e8be268d1a4e74f720fdb65981911b0371604850 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -692,7 +692,7 @@ fi
 if $STM
 then
 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -I$STMRUNTIME"
-FILES="$FILES $STMRUNTIME/stmlock.c $STMRUNTIME/singleTMCommit.c $STMRUNTIME/stmlookup.c $ROBUSTROOT/Runtime/thread.c"
+FILES="$FILES $STMRUNTIME/stmlock.c $STMRUNTIME/stm.c $STMRUNTIME/stmlookup.c $ROBUSTROOT/Runtime/thread.c $STMRUNTIME/stats.c $STMRUNTIME/commit.c $STMRUNTIME/objstr.c"
 fi
 
 if $SANDBOX