Re: Make World Time Format

2000-12-05 Thread David O'Brien
On Tue, Dec 05, 2000 at 07:02:35PM -0800, Thomas D. Dean wrote: Is it possible to go back to the old style of reporting world time in Makefile? I have been collecting make time stats. I added it back, but in a way I think will not be objectionable for the reason it was removed. To

Re: Make World Time Format

2000-12-05 Thread Jordan Hubbard
Thanks, good compromise. On Tue, Dec 05, 2000 at 07:02:35PM -0800, Thomas D. Dean wrote: Is it possible to go back to the old style of reporting world time in Makefile? I have been collecting make time stats. I added it back, but in a way I think will not be objectionable for the