Re: make 3.81: showing time differences

[Paul Smith]

On Sat, 2007-10-27 at 23:20 +0200, Bruno Haible wrote:
> I'm not asking for conversion of the duration to days, hours, minutes,
> and seconds. Just using fixed-point notation instead of exponential
> notation is enough: "480 s" is understandable. Here's a patch to
> achieve this

Thanks Bruno; applied.  Note you might want to sign paperwork for GNU
make if you intend to provide many more patches.


Cheers!

-- 
-------------------------------------------------------------------------------
 Paul D. Smith <address@hidden>          Find some GNU make tips at:
 http://www.gnu.org                      http://make.mad-scientist.us
 "Please remain calm...I may be mad, but I am a professional." --Mad Scientist