[isabelle-dev] failing tests

[Makarius]

On Mon, 1 Oct 2012, Makarius wrote:

> On Mon, 1 Oct 2012, Gerwin Klein wrote:
>
>> isatest and afptest have the following symptom when they get to their 
>> isabelle build call:
>> 
>> Building Pure ...
>> I/O error: /home/isatest/isabelle-at-poly/browser_info/isabelle.gif
>> Finished at Sun Sep 30 00:26:55 CEST 2012
>> 0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
>> ------------------- test FAILED --- Sun Sep 30 00:26:55 CEST 2012 --- 
>> lxbroy2
>> 
>> Any ideas what's going on?
>
> No idea yet.  Maybe just another variant of NFS or Gentoo oddities.

See now

changeset:   49673:2a088cff1e7b
tag:         tip
user:        wenzelm
date:        Mon Oct 01 12:05:05 2012 +0200
files:       src/Pure/General/file.scala
description:
more robust File.eq, and thus File.copy of "~~/lib/logo/isabelle.gif";


So just a very profane incident with one of our many options (build -o 
browser_info) to multiply system behaviour.


 	Makarius