Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust;
authorwenzelm
Thu, 15 Jul 2021 16:01:04 +0200
changeset 73986 13168094175b
parent 73985 eb7112f467a8
child 73987 fc363a3b690a
more robust;
lib/browser/build file | annotate | diff | comparison | revisions 
--- a/lib/browser/build	Thu Jul 15 15:50:32 2021 +0200
+++ b/lib/browser/build	Thu Jul 15 16:01:04 2021 +0200
@@ -63,7 +63,7 @@
 
   rm -rf classes && mkdir classes
 
-  isabelle_jdk javac -d classes -source 7 "${SOURCES[@]}" || \
+  isabelle_jdk javac -d classes -Xlint:-options -source 7 -target 7 "${SOURCES[@]}" || \
     fail "Failed to compile sources"
   isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . ||
     fail "Failed to produce $TARGET"
isabelle