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 <[EMAIL PROTECTED]> 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 _______________________________________________ Bug-make mailing list Bug-make@gnu.org http://lists.gnu.org/mailman/listinfo/bug-make
