Re: Output sync completed (?)

2013-05-06 Thread Stefano Lattarini
On 05/06/2013 02:30 AM, Paul Smith wrote: Hi all. I've recently pushed changes to solve the last open issues that I'm aware of with the --output-sync feature: * If command line printing is not suppressed (@ is not used) the command line is attached to the output. *

Re: Output sync completed (?)

2013-05-06 Thread Eli Zaretskii
From: Paul Smith psm...@gnu.org Date: Sun, 05 May 2013 20:30:32 -0400 We are right on the cusp of a release candidate for the next GNU make version. If the next release is close, then what about the following 2 issues, which were discussed, but AFAIK not finalized: . the

Output sync completed (?)

2013-05-05 Thread Paul Smith
Hi all. I've recently pushed changes to solve the last open issues that I'm aware of with the --output-sync feature: * If command line printing is not suppressed (@ is not used) the command line is attached to the output. * Extraneous enter/leave lines are not printed any