Admin/build
changeset 34284 33ad3571ad83
parent 34283 7911e83d06c0
child 34297 5c0a2583f997
     1.1 --- a/Admin/build	Wed Jan 06 22:18:52 2010 +0100
     1.2 +++ b/Admin/build	Wed Jan 06 22:21:25 2010 +0100
     1.3 @@ -84,7 +84,7 @@
     1.4  function build_jars ()
     1.5  {
     1.6    pushd "$ISABELLE_HOME/src/Pure" >/dev/null
     1.7 -  "$ISABELLE_TOOL" env ./mk-jars || fail "Failed."
     1.8 +  "$ISABELLE_TOOL" env ./build-jars || fail "Failed!"
     1.9    popd >/dev/null
    1.10  }
    1.11