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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
