[m-dev.] diff: fix --thread-safe bug in scripts/ml.in

Thomas Conway conway at cs.mu.OZ.AU
Tue Feb 8 11:39:37 AEDT 2000

On Mon, Feb 07, 2000 at 06:39:55PM EST, Fergus Henderson wrote:
> Estimated hours taken: 0.25
> scripts/ml.in:
> 	Fix a bug: with --thread-safe, for dec-alpha-osf3.2,
> 	it was linking with the wrong thread libraries.

That looks great, thanks.

Any luck with the Linux bug?

 Thomas Conway )O+     Every sword has two edges.
     Mercurian            <conway at cs.mu.oz.au>
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list