[isabelle-dev] failing tests

[Gerwin Klein]

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?

Manual "isabelle build HOL" (or Pure) seem to work for me, but I can't figure out what the difference between the automated call and the manual one is. Also, isabelle.gif doesn't seem to be mentioned in any ROOT files.

Cheers,
Gerwin


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.