Re: make: time stamps

["Simon J. Gerraty" <sjg%crufty.net@localhost>]

On Sun, 10 Apr 2011 10:17:27 +0100, David Laight writes:
>If you are doing this, probably worth getting millisecond times.

I don't think strftime handles those.

>I've seen make using a lot of cpu itself, that might be in the
>'search for something we can run' loop.

profiling make might be a worthwhile exercise, but isn't really my goal
here.