Re: Why basename in make is defined differently from basename from coreutils?

2011-04-17 Thread Paul Smith
On Wed, Apr 6, 2011 at 11:02 PM, Peng Yu wrote: > I don't quite know the history of make on these commands and for what > reason these command are defined as they are right now. But I'm feel > that probably it is better to change the definition of these commands > so that they are consistent with

Re: Possible minor bug in manual?

2011-04-17 Thread Paul Smith
On Fri, 2011-04-08 at 13:58 -0300, Federico Sanchez Pinzon wrote: > from GNU Make manual: 3.6 (Overriding Part of Another Makefile): > << > However, it is illegal for two makefiles to give different recipes for > the same target. > >> Thanks. --

Re: substantial 'glob' speedup ...

2011-04-17 Thread Paul Smith
On Wed, 2011-04-06 at 12:35 +0100, Michael Meeks wrote: > Anyhow - one problem we are seeing is that as we load and parse the > ~50Mb of dependencies that we need (for part of writer) we are statting > the same files involved in dependencies sometimes a thousand times or > so. We do around 700k sta