Thanks for the detailed explanations, Karl. > I bootstrapped and installed autoconf > from its git (as of around June 11) and have used that version with > development automake ever since, and the timing problems have stayed gone.
I confirm that with autoconf master, automake's "make check" is reliable: I ran it 9 times and got the same result 9 times. Bruno
