minimal Java source version for jdk-10.0.1;
authorwenzelm
Fri Apr 20 11:44:09 2018 +0200 (6 months ago)
changeset 680149096895dc2a6
parent 68013 7a30a3cc2763
child 68015 a39473b19ee1
minimal Java source version for jdk-10.0.1;
lib/browser/build
     1.1 --- a/lib/browser/build	Fri Apr 20 11:41:09 2018 +0200
     1.2 +++ b/lib/browser/build	Fri Apr 20 11:44:09 2018 +0200
     1.3 @@ -63,7 +63,7 @@
     1.4  
     1.5    rm -rf classes && mkdir classes
     1.6  
     1.7 -  isabelle_jdk javac -d classes -source 1.4 "${SOURCES[@]}" || \
     1.8 +  isabelle_jdk javac -d classes -source 1.6 "${SOURCES[@]}" || \
     1.9      fail "Failed to compile sources"
    1.10    isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . ||
    1.11      fail "Failed to produce $TARGET"