From: bdemsky <bdemsky>
Date: Tue, 25 Sep 2007 00:08:59 +0000 (+0000)
Subject: changes
X-Git-Tag: preEdgeChange~419
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=dc3e28e69175aefbac119060873edda856f173fa;p=IRC.git

changes
---

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"