# HG changeset patch
# User wenzelm
# Date 1263057760 -3600
# Node ID 5c0a2583f9977c418a0ca7e591aede8efe57d2e0
# Parent  5f454603228bde2b1b3faa9f0688a48184438c93
pass build error code;

diff -r 5f454603228b -r 5c0a2583f997 Admin/build
--- a/Admin/build	Sat Jan 09 16:31:19 2010 +0100
+++ b/Admin/build	Sat Jan 09 18:22:40 2010 +0100
@@ -59,7 +59,7 @@
 function build_browser ()
 {
   pushd "$ISABELLE_HOME/lib/browser" >/dev/null
-  "$ISABELLE_TOOL" env ./build || fail "Failed!"
+  "$ISABELLE_TOOL" env ./build || exit $?
   popd >/dev/null
 }
 
@@ -84,7 +84,7 @@
 function build_jars ()
 {
   pushd "$ISABELLE_HOME/src/Pure" >/dev/null
-  "$ISABELLE_TOOL" env ./build-jars || fail "Failed!"
+  "$ISABELLE_TOOL" env ./build-jars || exit $?
   popd >/dev/null
 }
 
diff -r 5f454603228b -r 5c0a2583f997 lib/Tools/browser
--- a/lib/Tools/browser	Sat Jan 09 16:31:19 2010 +0100
+++ b/lib/Tools/browser	Sat Jan 09 18:22:40 2010 +0100
@@ -60,7 +60,7 @@
 
 ## main
 
-[ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" browser
+[ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" browser || exit $?; }
 
 classpath "$ISABELLE_HOME/lib/browser/GraphBrowser.jar"
 
diff -r 5f454603228b -r 5c0a2583f997 lib/Tools/scala
--- a/lib/Tools/scala	Sat Jan 09 16:31:19 2010 +0100
+++ b/lib/Tools/scala	Sat Jan 09 18:22:40 2010 +0100
@@ -4,7 +4,7 @@
 #
 # DESCRIPTION: invoke Scala within the Isabelle environment
 
-[ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
+[ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
 
 CLASSPATH="$(jvmpath "$CLASSPATH")"
 exec "$ISABELLE_SCALA" "$@"