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

[Ondrej Bojar]

Yes, this was launched in nohup.

I'm now rerunning it and it seems to get past that point.

Thanks, Ondrej.


Julien Fischer wrote:
> 
> 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
> --------------------------------------------------------------------------
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------