changeset 61294 | 2d3d26e9b191 |
parent 53576 | 793a429c63e7 |
child 67490 | 982f0bf34804 |
--- a/lib/Tools/scalac Wed Sep 30 21:05:14 2015 +0200 +++ b/lib/Tools/scalac Wed Sep 30 21:32:44 2015 +0200 @@ -7,5 +7,5 @@ isabelle_admin_build jars || exit $? isabelle_scala scalac -Dfile.encoding=UTF-8 \ - -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@" + -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"