Bug#911547: debhelper gradle build system could cat hs_err_pid*.log on failure

[Helmut Grohne]

On Tue, Oct 23, 2018 at 11:15:45AM +0200, Emmanuel Bourg wrote:
> Le 21/10/2018 à 20:33, Helmut Grohne a écrit :
> 
> > So what do you think about outputting hs_err_pid*.log when gradle fails?
> 
> You mean printing hs_err_pid*.log on stderr if the build fails?

"output" as in "make it recoverable from the build log". Essentially
that means printing to stdout or stderr, yes.

So do you agree with the idea?

Helmut