make/common/SetupJavaCompilers.gmk
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)))