Re: make -q and timestamps

2011-08-13 Thread Paul Eggert
On 08/13/2011 03:02 PM, Bruno Haible wrote: > is it possible to extend GNU Make in a way that supports this? Possibly > by defining a new kind of special built-in target? Well, one can imagine a new special target .TIME, say, which would look like this: .TIME: foo.h foo.h: a b c etc gene

Re: make -q and timestamps

2011-08-13 Thread Bruno Haible
Hi Paul, > I've been moving away from stamp files like that lately, though, > as these days they seem to be more trouble than they're worth, > at least for me. If you do create a stamp file, please make > sure that it works with parallel makes. ... The problem can be worked around, > though I don