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

[Paul Eggert]

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' :-).