[m-rev.] diff: Makefile logs

[Ralph Becket]

Zoltan Somogyi, Monday, 22 August 2005:
> Makefile:
> 	Don't automatically save the output of "make all" and "make install"
> 	in log files. If the users want to save the info, they can do so
> 	themselves.

I find these logs more useful than not.  If a build unexpectedly goes
wrong and (by definition) I didn't anticipate that (by saving the output
to a log file), then I have to do the whole thing again.  I would much
rather you didn't make this change.  I'd have no problem if you decided
to compress the log files.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------