Admin/build
changeset 45091 bf56eb7af632
parent 43521 d477b92109b8
child 45385 7c1375ba1424
     1.1 --- a/Admin/build	Mon Sep 26 21:17:25 2011 +0200
     1.2 +++ b/Admin/build	Mon Sep 26 21:41:39 2011 +0200
     1.3 @@ -84,7 +84,7 @@
     1.4  
     1.5  function build_jars ()
     1.6  {
     1.7 -  "$ISABELLE_HOME/lib/scripts/java_ext_dirs" >/dev/null
     1.8 +  "$ISABELLE_TOOL" env "$ISABELLE_HOME/lib/scripts/java_ext_dirs" >/dev/null
     1.9    pushd "$ISABELLE_HOME/src/Pure" >/dev/null
    1.10    "$ISABELLE_TOOL" env ./build-jars "$@" || exit $?
    1.11    popd >/dev/null