Bug#893547: ant: please do not emit --ignore-source-errors on Java 9

[Emmanuel Bourg]

Le 20/03/2018 à 05:20, tony mancill a écrit :

> I'm in the midst of preparing an update for ant.  Is there any context
> in which we want to add "--ignore-source-errors" to the ant javadoc
> task, or should this patch [1] be removed entirely?

It looks like the --ignore-source-errors only works with the default
doclet. The patch should be refined such that --ignore-source-errors is
only added if the doclet attribute is null.

Tony I prepared an upgrade of Ant to the version 1.10.3 before noticing
you were also working on the package. May I proceed with the upload or
do you want to upload your changes first?

Here is my changelog so far:

  * New upstream release
    - Refreshed the patches
    - Changed the source/target level to 1.8 when building Ant
    - Build the new optional ant-xz module
    - Require Java 8 or higher to run Ant
  * Adjust the source/target level to 1.7 in anticipation
    of the 1.6 removal in Java 11
  * Added activation.jar to the build classpath to fix
    the empty ant-javamail jar with Java 9

Emmanuel Bourg