ensure Isabelle env;
authorwenzelm
Mon Sep 26 21:41:39 2011 +0200 (2011-09-26)
changeset 45091bf56eb7af632
parent 45090 e392d0a28bd8
child 45092 43ec38eb89b9
ensure Isabelle env;
Admin/build
     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