From 54f4fb432d978770850c8758c5be2c33608127f2 Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Thu, 17 Jan 2008 23:37:03 +0000
Subject: [PATCH] edit the buildscript options

---
 Robust/src/Benchmarks/Prefetch/threadv1.0/section2/makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Benchmarks/Prefetch/threadv1.0/section2/makefile b/Robust/src/Benchmarks/Prefetch/threadv1.0/section2/makefile
index 763ad545..91d1abc3 100644
--- 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}
-- 
2.34.1