changeset 61294 | 2d3d26e9b191 |
parent 49004 | 3a324a3f4aea |
child 68014 | 9096895dc2a6 |
--- a/lib/browser/build Wed Sep 30 21:05:14 2015 +0200 +++ b/lib/browser/build Wed Sep 30 21:32:44 2015 +0200 @@ -65,7 +65,7 @@ isabelle_jdk javac -d classes -source 1.4 "${SOURCES[@]}" || \ fail "Failed to compile sources" - isabelle_jdk jar cf "$(jvmpath "$TARGET")" -C classes . || + isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . || fail "Failed to produce $TARGET" rm -rf classes