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