[mercury-users] c2init / ml

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Feb 13 16:28:06 AEDT 2002

On 13-Feb-2002, Michael Day <mikeday at bigpond.net.au> wrote:
> When configuring the binary distribution of mercury-rotd-2002-02-07, both 
> ml and c2init end up with two lines near the start like this:
> # include the file `parse_ml_options.sh-subr'
> which has to be replaced manually.

Thanks for reporting that.  I've just checked in a fix for that,
so this problem will not be present in future binary distributions.

P.S. It may be better to send bug reports to mercury-bugs rather than
to the mercury-users list.

Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
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