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
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 Unsubs
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
>>>