From 0b589501aaea2c3a907dd3e137cefe623b0db588 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 9 Oct 2009 17:40:31 +0000
Subject: [PATCH] changes

---
 Robust/src/buildscript | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 7b2213f8..e8be268d 100755
--- 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
-- 
2.34.1