Is it possible to go back to the old style of reporting world time in
Makefile? I have been collecting make time stats.
This is where the last 3 lines of the output are:
--
elf make world started on Thu Aug 31 09:47:50 PDT 2000
elf
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
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