Admin/build
changeset 45385 7c1375ba1424
parent 45091 bf56eb7af632
child 46933 3b02b0ef8d48
     1.1 --- a/Admin/build	Mon Nov 07 14:23:50 2011 +0100
     1.2 +++ b/Admin/build	Mon Nov 07 14:59:58 2011 +0100
     1.3 @@ -84,7 +84,6 @@
     1.4  
     1.5  function build_jars ()
     1.6  {
     1.7 -  "$ISABELLE_TOOL" env "$ISABELLE_HOME/lib/scripts/java_ext_dirs" >/dev/null
     1.8    pushd "$ISABELLE_HOME/src/Pure" >/dev/null
     1.9    "$ISABELLE_TOOL" env ./build-jars "$@" || exit $?
    1.10    popd >/dev/null