add option to short circuit buildscript after compiler analyses are complete

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 788332a480ed192e633be414fe82b60d416afee0..84650129bea7d7d1041c83f9126fafba696340cc 100755 (executable)
--- 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