[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: make 3.81: showing time differences
From: |
Paul Smith |
Subject: |
Re: make 3.81: showing time differences |
Date: |
Mon, 05 Nov 2007 09:16:53 -0500 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: make 3.81: showing time differences,
Paul Smith <=