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

From: Paul Eggert <[email-masked]>
Date: Mon, 26 Dec 2011 10:09:15 -0800

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.