[m-dev.] More build system patches

[Zoltan Somogyi]

On 23-Jul-2004, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > which is what people expect.  If users want a log, they will add `>'
> > etc. for themselves.
> 
> My experience with supporting Mercury users who have encountered compilation
> problems is that many users _don't_ save the errors to a log file.
> That's why I added the code to save the output to make_all.log.

I am with Peter on this one. The users who don't save the errors probably
won't send us make_all.log unasked-for even if it is made. I don't it
makes much difference for use whether we have to ask them to run make
with redirection and send us the result, or just to send us make_all.log.

Anyone who doesn't know how and when to use redirection probably isn't ready
for Mercury programming.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------