Re: AM_MAKE_INCLUDE [patch]

[Tom Tromey]

>>>>> "Ralf" == Ralf Corsepius <address@hidden> writes:

Ralf> So, below is a patch to address this issue by applying make -s. 
Ralf> If this doesn't work out, the entire check probably needs to be
Ralf> reworked.

Thanks, I checked this in.

I wrote up the test as part of the patch and verified it.  I also
wrote a ChangeLog entry.

Tom