diff --git a/build.xml b/build.xml index 7a4a3a53375d6eaaf8accb4388563ea0065c5208..3310c47a48df653d5b0c384859cddb4b728be165 100644 --- a/build.xml +++ b/build.xml @@ -70,6 +70,7 @@ <!-- tested --> <target name="compilelint" depends="init"> + <!-- values: all, deprecation, unchecked, fallthrough, path, serial, finally --> <echo message="Setting property..."/> <property name="javacargs" value="-Xlint:all" /> <antcall target="compileall"/>