obsolete;
authorwenzelm
Wed Nov 07 22:38:38 2018 +0100 (6 months ago)
changeset 69258e05c9f314f90
parent 69257 039edba27102
child 69259 438e1a11445f
obsolete;
src/Pure/build-jars
     1.1 --- a/src/Pure/build-jars	Wed Nov 07 22:31:56 2018 +0100
     1.2 +++ b/src/Pure/build-jars	Wed Nov 07 22:38:38 2018 +0100
     1.3 @@ -286,7 +286,6 @@
     1.4    SCALAC_OPTIONS="$ISABELLE_SCALAC_OPTIONS -d classes"
     1.5  
     1.6    (
     1.7 -    classpath "$JAVA_HOME/lib/jfxrt.jar"
     1.8      classpath classes
     1.9      export CLASSPATH="$(platform_path "$ISABELLE_CLASSPATH")"
    1.10