[bug #40789] GNU make 4.0 includes in commands.c when not required

2014-01-11 Thread Paul D. Smith
Update of bug #40789 (project make): Item Group:None => Bug Status:None => Fixed Assigned to:None => psmith Open/Closed:

Re: [bug #40639] GNU Make with profiling information

2014-01-11 Thread Paul Smith
On Wed, 2013-12-18 at 13:28 +0200, Eddy Petrișor wrote: > Could you please confirm if the general direction of the the is OK in > the latest patch I sent? Conceptually it seems OK. I'm still not jazzed about having any more than one output format, and I'd prefer that format to be in a more-or-les

Re: [bug #40639] GNU Make with profiling information

2014-01-11 Thread Tim Murphy
It's nice to know when in the build a job was scheduled. e.g I have a huge job that gets scheduled at the end of the build - wouldn't it be nicer if it was scheduled at the beginning? Perhaps I can redesign my makefile to achieve that if I know. On 11 January 2014 18:58, Paul Smith wrote: > Sorr

Re: [bug #40639] GNU Make with profiling information

2014-01-11 Thread Paul Smith
Sorry, I've been mostly away from my systems recently. On Wed, 2013-12-18 at 13:28 +0200, Eddy Petrișor wrote: > Thanks for clarifying this. Could you please confirm if the general > direction of the the is OK in the latest patch I sent? I will take a look. > What it is in scope and what I wou