Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/build-jars
changeset 49449 ffc06b54cb22
parent 49294 a600c017f814
child 49558 af7b652180d5 
--- a/src/Pure/build-jars	Wed Sep 19 21:06:35 2012 +0200
+++ b/src/Pure/build-jars	Wed Sep 19 21:07:09 2012 +0200
@@ -206,8 +206,7 @@
   isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.GUI_Setup META-INF isabelle || \
     fail "Failed to produce $TARGET"
 
-  cp "$JFXRT" \
-    "$SCALA_HOME/lib/scala-compiler.jar" \
+  cp "$SCALA_HOME/lib/scala-compiler.jar" \
     "$SCALA_HOME/lib/scala-library.jar" \
     "$SCALA_HOME/lib/scala-swing.jar" "$TARGET_DIR/ext"
isabelle