Change in dejagnu generated rules?

[Phil Edwards]

When AUTOMAKE_OPTIONS contains dejagnu, one of the generated rules is

    check-am:
        $(MAKE) $(AM_MAKEFLAGS) check-DEJAGNU

I could have sworn that at some time in the not-too-distant past, the -k
flag would also be automatically passed to the sub-make,

        $(MAKE) -k $(AM_MAKEFLAGS) check-DEJAGNU

due to dejagnu's annoyung habit regarding exit codes.

Am I smoking something?  Did this change recently?


Phil

-- 
I would therefore like to posit that computing's central challenge, viz. "How
not to make a mess of it," has /not/ been met.
                                                 - Edsger Dijkstra, 1930-2002