changeset 53576 | 793a429c63e7 |
parent 52443 | 725916b7dee5 |
child 59894 | ca16b657901f |
--- a/lib/Tools/scala Wed Sep 11 23:32:47 2013 +0200 +++ b/lib/Tools/scala Thu Sep 12 13:23:54 2013 +0200 @@ -6,6 +6,6 @@ isabelle_admin_build jars || exit $? -CLASSPATH="$(jvmpath "$CLASSPATH")" isabelle_scala scala -Dfile.encoding=UTF-8 \ - "-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@" + -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@" +