[mercury-users] long messages from mmc --make

[Michael Day]

Hi,

Some time between rotd-2003-02-23 and rotd-2003-12-21, mmc --make changed 
from giving messages like this:

Making foo.opt

to giving messages like this:

Making Mercury/asm_fast.gc/i686-pc-linux-gnu/Mercury/opts/foo.opt

I can see why the latter would be useful for debugging Mercury, but it is 
not very convenient for users, who tend not to change grade or platform 
*that* often, and don't need to see so much verbiage obscuring the useful 
bits.

Michael

-- 
YesLogic Prince prints XML!
http://yeslogic.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------