diff -r 7911e83d06c0 -r 33ad3571ad83 Admin/build
--- a/Admin/build	Wed Jan 06 22:18:52 2010 +0100
+++ b/Admin/build	Wed Jan 06 22:21:25 2010 +0100
@@ -84,7 +84,7 @@
 function build_jars ()
 {
   pushd "$ISABELLE_HOME/src/Pure" >/dev/null
-  "$ISABELLE_TOOL" env ./mk-jars || fail "Failed."
+  "$ISABELLE_TOOL" env ./build-jars || fail "Failed!"
   popd >/dev/null
 }