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