From 44f4e9d6fa416f397838efd37b731623bb00866b Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 17 Nov 2007 07:27:07 +0000
Subject: [PATCH] short circuit

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

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
 
-- 
2.34.1