Re: bug#10237: bug#9928: bug#10237: AM_SILENT_RULES does not work with NonStop make

[Paul Eggert]

On 12/26/11 09:42, Stefano Lattarini wrote:
> And here is the follow-up tweaking for the test cases I had
> promised.  I will push in a couple of days if there is no objection.

Thanks, that looks good to me; please push it as soon as you like.