[mercury-users] Logging of make

[Julien Fischer]

On Thu, 4 May 2006, Jonathan Morgan wrote:

> In mercury-0.12 make used to create two separate log files, one for
> the make, and one for the make install.  This doesn't seem to happen
> with the development version or the rotds.  I found that feature
> really useful whenever one of the odd combinations of features I was
> using caused the build to crash, and also to see exactly what make was
> doing and in what order, and I never remember to send the make into a
> log file myself.  Is there any particular reason why it is no longer
> there?

See the log message for r1.13 of Makefile.

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------