author | wenzelm |
Tue, 22 Dec 2020 23:59:45 +0100 | |
changeset 72982 | adda33fdb5d0 |
parent 72981 | c78d1dfc6571 |
child 72983 | a8050df4f58f |
lib/browser/build | file | annotate | diff | comparison | revisions |
--- a/lib/browser/build Tue Dec 22 15:49:22 2020 +0100 +++ b/lib/browser/build Tue Dec 22 23:59:45 2020 +0100 @@ -63,7 +63,7 @@ rm -rf classes && mkdir classes - isabelle_jdk javac -d classes -source 1.6 "${SOURCES[@]}" || \ + isabelle_jdk javac -d classes -source 7 "${SOURCES[@]}" || \ fail "Failed to compile sources" isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . || fail "Failed to produce $TARGET"