support ECJ linting on newer JDK versions

The entire precommit task will still fail with unsupported java version
(subsequent checks do not support the newer javadocs format).

But this allows the ECJ linter to run, which checks for things such as
unused imports.
This commit is contained in:
Robert Muir 2020-01-31 14:16:04 -05:00
parent db78f6cd00
commit 7382375d8a
No known key found for this signature in database
GPG Key ID: 817AE1DD322D7ECA
1 changed files with 5 additions and 1 deletions

View File

@ -2002,7 +2002,11 @@ ${ant.project.name}.test.dependencies=${test.classpath.list}
<!-- ECJ Javadoc linting: -->
<condition property="ecj-javadoc-lint.supported">
<equals arg1="${java.specification.version}" arg2="11"/>
<or>
<equals arg1="${java.specification.version}" arg2="11"/>
<equals arg1="${java.specification.version}" arg2="12"/>
<equals arg1="${java.specification.version}" arg2="13"/>
</or>
</condition>
<condition property="ecj-javadoc-lint-tests.supported">