shift
done
+
BUILDDIR="$CURDIR/$tmpbuilddirectory"
BAMBOORUNTIME=$ROBUSTROOT/Runtime/bamboo
fi
fi
+# after executing Main, if -justanalyze flag, just exit
if $EXITAFTERANALYSIS
then
exit
fi
+
+
# Build all of the consistency specs
if $CHECKFLAG # CHECKFLAG