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

2011-12-26 Thread 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.

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

2011-12-26 Thread Stefano Lattarini
tags 10237 + patch tags 9928 + patch thanks On 12/25/2011 07:04 PM, Paul Eggert wrote: > On 12/23/11 00:50, Stefano Lattarini wrote: >> could you apply the patch *not to maint nor to master*, but to a *new* >> branch (say `silent-fixes' or `silent-portability') based off of maint, >> and push that