Admin/build
changeset 34297 5c0a2583f997
parent 34284 33ad3571ad83
child 34876 b52e03f68cc3
     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