[mercury-users] Logging of make

[Jonathan Morgan]

On 5/5/06, Julien Fischer <juliensf at cs.mu.oz.au> wrote:
>
> 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.

Fair enough - but if it hadn't been there in the first place, I
wouldn't have got into the habit of relying on it.

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