From dc3e28e69175aefbac119060873edda856f173fa Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 25 Sep 2007 00:08:59 +0000
Subject: [PATCH] changes

---
 Robust/src/Makefile    | 2 +-
 Robust/src/buildscript | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Makefile b/Robust/src/Makefile
index 6112b03d..de977953 100644
--- a/Robust/src/Makefile
+++ b/Robust/src/Makefile
@@ -75,7 +75,7 @@ Interface/HTTPHeader.class Interface/HTTPResponse.class			\
 Interface/HTTPServices.class Interface/HashStrings.class		\
 Interface/JhttpServer.class Interface/JhttpWorker.class			\
 Interface/LogFile.class Interface/Pair.class				\
-Interface/WebInterface.class
+Interface/WebInterface.class Analysis/Prefetch/PrefetchAnalysis.class
 
 
 
diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 11048407..5963824c 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -10,6 +10,7 @@ echo -specdir directory
 echo -taskstate do task state analysis
 echo -optional enable optional
 echo -debug generate debug symbols
+echo -prefetch prefetch analysis
 echo -webinterface enable web interface
 echo -runtimedebug printout runtime debug messages
 echo "-thread use support for multiple threads"
@@ -63,6 +64,9 @@ elif [[ $1 = '-dsm' ]]
 then
 JAVAOPTS="$JAVAOPTS -dsm"
 DSMFLAG=true
+elif [[ $1 = '-prefetch' ]]
+then
+JAVAOPTS="$JAVAOPTS -prefetch"
 elif [[ $1 = '-mac' ]]
 then
 EXTRAOPTIONS="$EXTRAOPTIONS -DMAC"
-- 
2.34.1