[mercury-users] rotd-2007-02-10 won't compile on Ubuntu

[Julien Fischer]

On Wed, 14 Feb 2007, Ondrej Bojar wrote:

> Another remark:
>
> Already rotd-2006-11-06 has exactly the same problem.

We've noticed this problem with Debian testing but only when you build
Mercury under nohup.  Are you using nohup?

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------