On Mon, 2013-05-06 at 10:26 +0200, Stefano Lattarini wrote:
> > * Extraneous enter/leave lines are not printed any longer.
> >
> I still see them actually, if I try to build the latest coreutils
I guess it depends on your definition of "extraneous" :-).
I was considering "extraneous" to me
> From: Paul Smith
> Cc: bug-make@gnu.org
> Date: Mon, 06 May 2013 13:39:27 -0400
>
> I just want people to start paying attention, if they haven't been so
> far...
Well, I did. I replaced my make with the binary built from git, and
am using it every time I need Make.
_
On Mon, 2013-05-06 at 20:31 +0300, Eli Zaretskii wrote:
> If the next release is close, then what about the following 2 issues,
> which were discussed, but AFAIK not finalized:
>
> . the plugin_is_GPL_compatible symbol in the dynamic objects as a
>prerequisite for their loading into Make
I t
> From: Paul Smith
> 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 plugin_is_GPL_compatible sy
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.
>
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 lo
