From 82b30336af0928116b6a653d6cbd06621c9e387d Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 2 Feb 2009 19:54:35 +0000
Subject: [PATCH] add option to short circuit buildscript after compiler
 analyses are complete

---
 Robust/src/buildscript | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 788332a4..84650129 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -45,6 +45,7 @@ echo -instructionfailures inject code for instructionfailures
 echo -profile build with profile options
 echo "-rawuseio use standard io to output profiling data (should be used together with -raw and -profile), it only works with single core version"
 echo "-enable-assertions execute assert statements during compilation"
+echo -justanalyze exit after compiler analyses complete
 echo -help help
 }
 
@@ -77,6 +78,7 @@ MAINFILE='a'
 JAVAFORWARDOPTS=''
 JAVAOPTS=''
 OPTIONALFLAG=false
+EXITAFTERANALYSIS=false
 
 if [[ -z $1 ]]
 then
@@ -90,6 +92,9 @@ if [[ $1 = '-help' ]]
 then
 printhelp
 exit
+elif [[ $1 = '-justanalyze' ]]
+then
+EXITAFTERANALYSIS=true
 elif [[ $1 = '-robustroot' ]]
 then
 ROBUSTROOT="$2"
@@ -283,6 +288,11 @@ fi
 fi
 fi
 
+if $EXITAFTERANALYSIS
+then
+exit
+fi
+
 # Build all of the consistency specs
 
 if $CHECKFLAG # CHECKFLAG
-- 
2.34.1