lib/Tools/scala
changeset 48915 34fac6fb9b03
parent 47748 24550210de0b
child 52443 725916b7dee5
     1.1 --- a/lib/Tools/scala	Thu Aug 23 20:49:00 2012 +0200
     1.2 +++ b/lib/Tools/scala	Thu Aug 23 21:23:14 2012 +0200
     1.3 @@ -8,4 +8,4 @@
     1.4  
     1.5  CLASSPATH="$(jvmpath "$CLASSPATH")"
     1.6  isabelle_scala scala -Dfile.encoding=UTF-8 \
     1.7 -  "-Djava.ext.dirs=$("$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs")" "$@"
     1.8 +  "-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@"