--- a/src/Pure/build-jars Wed Sep 30 21:05:14 2015 +0200
+++ b/src/Pure/build-jars Wed Sep 30 21:32:44 2015 +0200
@@ -238,7 +238,7 @@
(
classpath "$JAVA_HOME/lib/jfxrt.jar"
classpath classes
- export CLASSPATH="$(jvmpath "$ISABELLE_CLASSPATH")"
+ export CLASSPATH="$(platform_path "$ISABELLE_CLASSPATH")"
if [ "$TEST_PIDE" = true ]; then
isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" || \
@@ -262,7 +262,7 @@
cp "$ISABELLE_HOME/lib/logo/isabelle_transparent-32.gif" isabelle/.
cp "$ISABELLE_HOME/lib/logo/isabelle_transparent.gif" isabelle/.
- isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.Main META-INF isabelle || \
+ isabelle_jdk jar cfe "$(platform_path "$TARGET")" isabelle.Main META-INF isabelle || \
fail "Failed to produce $TARGET"
popd >/dev/null