changeset 45228 | b32e004375c1 |
parent 44628 | 513c3026b94f |
child 45271 | 81a039ba9344 |
--- a/make/common/SetupJavaCompilers.gmk Wed May 17 12:42:58 2017 +0200 +++ b/make/common/SetupJavaCompilers.gmk Wed May 17 12:44:12 2017 +0200 @@ -69,7 +69,7 @@ $(eval $(call SetupJavaCompiler,GENERATE_JDKBYTECODE, \ JVM := $(JAVA_JAVAC), \ JAVAC := $(NEW_JAVAC), \ - FLAGS := -source 9 -target 9 \ + FLAGS := -source 9 -target 9 --doclint-format html5 \ -encoding ascii -XDignore.symbol.file=true $(JAVAC_WARNINGS), \ SERVER_DIR := $(SJAVAC_SERVER_DIR), \ SERVER_JVM := $(SJAVAC_SERVER_JAVA)))