fix build options

diff --git a/Robust/src/Benchmarks/SingleTM/common/Makefile.builds b/Robust/src/Benchmarks/SingleTM/common/Makefile.builds
index ee48d5a4e4793dd2fd8c7d6b752c0dc458ab0d6c..872ead19d3f6d36f2e04d3293b9865f2b4b8a38f 100644 (file)
--- a/Robust/src/Benchmarks/SingleTM/common/Makefile.builds
+++ b/Robust/src/Benchmarks/SingleTM/common/Makefile.builds
@@ -1,8 +1,9 @@
 default: prep
-       ../../../buildscript ${FLAGSLOCKNOJ} -o LOCKNOJ${MAINCLASS} ${SRC}
-       ../../../buildscript ${FLAGSSTMNOJ} -o STMNOJ${MAINCLASS} ${SRC}
-       ../../../buildscript ${FLAGSLOCK} -o LOCK${MAINCLASS} ${SRC}
+#      ../../../buildscript ${FLAGSLOCKNOJ} -o LOCKNOJ${MAINCLASS} ${SRC}
+#      ../../../buildscript ${FLAGSSTMNOJ} -o STMNOJ${MAINCLASS} ${SRC}
+#      ../../../buildscript ${FLAGSLOCK} -o LOCK${MAINCLASS} ${SRC}
        ../../../buildscript ${FLAGSSTM} -o STM${MAINCLASS} ${SRC}
        ../../../buildscript ${FLAGSOPTSTM} -o OPTSTM${MAINCLASS} ${SRC}
        ../../../buildscript ${FLAGSFISSION} -o FIS${MAINCLASS} ${SRC}
-       ../../../buildscript ${FLAGSSTATS} -o STATS${MAINCLASS} ${SRC}
+#      ../../../buildscript ${FLAGSSTATS} -o STATS${MAINCLASS} ${SRC}
+