From 10ab8b5aaead4959cc39ca82b1c9de556f0e4cf1 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Tue, 27 Sep 2011 19:07:06 +0000
Subject: [PATCH] just documenting what this is for

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

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 552417b0..2aa7938d 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -814,6 +814,7 @@ fi
 shift
 done
 
+
 BUILDDIR="$CURDIR/$tmpbuilddirectory"
 
 BAMBOORUNTIME=$ROBUSTROOT/Runtime/bamboo
@@ -928,11 +929,14 @@ else
   fi
 fi
 
+# after executing Main, if -justanalyze flag, just exit
 if $EXITAFTERANALYSIS
 then
 exit
 fi
 
+
+
 # Build all of the consistency specs
 
 if $CHECKFLAG # CHECKFLAG
-- 
2.34.1