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
