pass build error code;
authorwenzelm
Sat Jan 09 18:22:40 2010 +0100 (2010-01-09)
changeset 342975c0a2583f997
parent 34296 5f454603228b
child 34298 13e9f1f4acd9
pass build error code;
Admin/build
lib/Tools/browser
lib/Tools/scala
     1.1 --- a/Admin/build	Sat Jan 09 16:31:19 2010 +0100
     1.2 +++ b/Admin/build	Sat Jan 09 18:22:40 2010 +0100
     1.3 @@ -59,7 +59,7 @@
     1.4  function build_browser ()
     1.5  {
     1.6    pushd "$ISABELLE_HOME/lib/browser" >/dev/null
     1.7 -  "$ISABELLE_TOOL" env ./build || fail "Failed!"
     1.8 +  "$ISABELLE_TOOL" env ./build || exit $?
     1.9    popd >/dev/null
    1.10  }
    1.11  
    1.12 @@ -84,7 +84,7 @@
    1.13  function build_jars ()
    1.14  {
    1.15    pushd "$ISABELLE_HOME/src/Pure" >/dev/null
    1.16 -  "$ISABELLE_TOOL" env ./build-jars || fail "Failed!"
    1.17 +  "$ISABELLE_TOOL" env ./build-jars || exit $?
    1.18    popd >/dev/null
    1.19  }
    1.20  
     2.1 --- a/lib/Tools/browser	Sat Jan 09 16:31:19 2010 +0100
     2.2 +++ b/lib/Tools/browser	Sat Jan 09 18:22:40 2010 +0100
     2.3 @@ -60,7 +60,7 @@
     2.4  
     2.5  ## main
     2.6  
     2.7 -[ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" browser
     2.8 +[ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" browser || exit $?; }
     2.9  
    2.10  classpath "$ISABELLE_HOME/lib/browser/GraphBrowser.jar"
    2.11  
     3.1 --- a/lib/Tools/scala	Sat Jan 09 16:31:19 2010 +0100
     3.2 +++ b/lib/Tools/scala	Sat Jan 09 18:22:40 2010 +0100
     3.3 @@ -4,7 +4,7 @@
     3.4  #
     3.5  # DESCRIPTION: invoke Scala within the Isabelle environment
     3.6  
     3.7 -[ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
     3.8 +[ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
     3.9  
    3.10  CLASSPATH="$(jvmpath "$CLASSPATH")"
    3.11  exec "$ISABELLE_SCALA" "$@"