edit the buildscript options

diff --git a/Robust/src/Benchmarks/Prefetch/threadv1.0/section2/makefile b/Robust/src/Benchmarks/Prefetch/threadv1.0/section2/makefile
index 763ad5453c513d3a6a8a844f2f22c0c16ab0134d..91d1abc3f30837aa68ce423ae708c8f712c69150 100644 (file)
--- a/Robust/src/Benchmarks/Prefetch/threadv1.0/section2/makefile
+++ b/Robust/src/Benchmarks/Prefetch/threadv1.0/section2/makefile
@@ -4,7 +4,7 @@ jgfutil/JGFInstrumentor.java \
 jgfutil/JGFTimer.java \
 crypt/IDEATest.java \
 crypt/JGFCryptBench.java
-FLAGS=-dsm -thread -mainclass ${MAINCLASS} -o ${MAINCLASS}
+FLAGS=-dsm -prefetch -nooptimize -debug -mainclass ${MAINCLASS} -o ${MAINCLASS}
 
 default:
        ../../../../buildscript ${FLAGS} ${SRC}