[mercury-users] Logging of make

Jonathan Morgan jonmmorgan at gmail.com
Thu May 4 23:51:46 AEST 2006


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?

Jon

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



More information about the users mailing list