lib/Tools/scalac
changeset 69126 e1b4b14ded58
parent 67490 982f0bf34804
     1.1 --- a/lib/Tools/scalac	Fri Oct 05 17:49:10 2018 +0200
     1.2 +++ b/lib/Tools/scalac	Fri Oct 05 23:49:12 2018 +0200
     1.3 @@ -7,5 +7,4 @@
     1.4  isabelle_admin_build jars || exit $?
     1.5  
     1.6  isabelle_scala scalac -Dfile.encoding=UTF-8 \
     1.7 -  "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
     1.8    -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"