[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #40639] GNU Make with profiling information
|
From: |
Reinier Post |
|
Subject: |
Re: [bug #40639] GNU Make with profiling information |
|
Date: |
Wed, 20 Nov 2013 09:36:09 +0100 |
|
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Tue Nov 19 22:29:22 2013, address@hidden (Eddy Petrișor) wrote:
> Follow-up Comment #1, bug #40639 (project make):
>
> I have created a cleaned up rebased branch that contains only changes for the
> profiling feature so it can be easier to review.
>
> https://github.com/eddyp/make-profiler/tree/profile-rebase
>
> Please note this branch will be rebased. Use 'git pull --rebase' if you need
> to resync.
Looks very useful!
Can't this functionality be provided by a wrapper $SHELL?
Sure, it's an extra exec(),
but it will keep the make code base simpler.
--
Reinier Post
TU Eindhoven