Re: coreutils + maint.mk + public-submodule-commit

[Bernhard Voelker]

On 04/09/2015 05:50 PM, Paul Eggert wrote:
> Andreas Grünbacher wrote:
> 
>> This behavior is discouraging testing; I find that quite annoying.
> 
> Me too.  It's bitten me several times and I can never remember how to shut it 
> off.  Perhaps we should remove that test from 'make check' and have a further 
> rule 'make checker' that is stronger than 'make check' and which does the 
> additional gnulib check.  (If we can think of 3 levels, they could be 'make 
> check', 'make checker', and 'make checkest' :-).

Actually, it is a release-time check, so IMO 'make dist' or 'make distcheck'
should fail in that case, rather than 'make check' during the development phase,
shouldn't it?

Have a nice day,
Berny