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