On Tue Nov 19 22:29:22 2013, invalid.nore...@gnu.org (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 _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make