changeset 47113 | b5a5662528fb |
parent 34283 | 7911e83d06c0 |
child 47115 | 1a05adae1cc9 |
--- a/lib/browser/build Mon Mar 26 11:15:41 2012 +0200 +++ b/lib/browser/build Sat Mar 24 20:24:16 2012 +0100 @@ -65,9 +65,9 @@ rm -rf classes && mkdir classes - javac -d classes -source 1.4 "${SOURCES[@]}" || \ + "$ISABELLE_JDK_HOME/bin/javac" -d classes -source 1.4 "${SOURCES[@]}" || \ fail "Failed to compile sources" - jar cf "$(jvmpath "$TARGET")" -C classes . || + "$ISABELLE_JDK_HOME/bin/jar" cf "$(jvmpath "$TARGET")" -C classes . || fail "Failed to produce $TARGET" rm -rf classes