changes

diff --git a/Robust/src/Makefile b/Robust/src/Makefile
index 6112b03d3a308d9480d93c04bc4fcb22015e62a3..de977953ff39a4b6fad424e75bd4363b6390e9fb 100644 (file)
--- 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 110484075b51c582cd134233ad34bb91a0249af7..5963824c9259b1239fbc2811cc2a0decb8520358 100755 (executable)
--- 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"