From: bdemsky Date: Sat, 17 Nov 2007 07:27:07 +0000 (+0000) Subject: short circuit X-Git-Tag: preEdgeChange~365 X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=44f4e9d6fa416f397838efd37b731623bb00866b;p=IRC.git short circuit --- diff --git a/Robust/src/buildscript b/Robust/src/buildscript index fc3fdfb0..c8e18e40 100755 --- a/Robust/src/buildscript +++ b/Robust/src/buildscript @@ -150,9 +150,11 @@ fi # Build bristlecone/java sources -java -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \ +if ! java -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \ $ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise \ $JAVAOPTS $SRCFILES +then exit $? +fi # Build all of the consistency specs