On Thu, 20 Dec 2012, Alexander Krauss wrote:
On 12/20/2012 12:20 AM, Alexander Krauss wrote:
I am now writing this up for the hg mailing list, since we now may
have enough information to get help tracking it down...
I posted a question here:
http://www.selenic.com/pipermail/mercurial/2012-December/044783.html
and there are some answers, which suggest that NFS or other physical
issues are responsible for this.
Studying the thread briefly, it raises two main question for me:
* Does /tmp work properly on the macbroyXXX and lxbroyXXX machines?
There were some problems after updating macbroy2X approx 1-2 weeks
ago. Just today isatest complained about /tmp on macbroy6, although
that is a completely different system (Mac OS X, not SuSE Linux).
* Any possibility of having genuine problems with the NFS server, as
suggested by the Mercurial guys?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
