On Wed, Mar 28, 2018 at 09:21:45AM +0200, Emmanuel Bourg wrote:
> 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]
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
On Tue, Mar 20, 2018 at 08:51:32AM +0100, Ole Streicher wrote:
Hello Ole,
> On 20.03.2018 05:20, tony mancill wrote:
> > 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
Hi Tony,
On 20.03.2018 05:20, tony mancill wrote:
> 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?
>
I am not familar with ant, so I can't
On Mon, Mar 19, 2018 at 09:16:24PM +0100, Ole Streicher wrote:
> Package: ant
> Version: 1.9.9-6
> Severity: serious
>
> Dear maintainer,
>
> to fix #884187, ant added the option "--ignore-source-errors" to
> javadoc. This option is however not available on Java 9, which leads to
> FTBFS on some
Package: ant
Version: 1.9.9-6
Severity: serious
Dear maintainer,
to fix #884187, ant added the option "--ignore-source-errors" to
javadoc. This option is however not available on Java 9, which leads to
FTBFS on some packages: starjava-topcat, starjava-tools. I will merge
the relevant bug
6 matches
Mail list logo
