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
