Re: [isabelle-dev] I/O error in isabelle build

2018-05-16 Thread Makarius
On 16/05/18 20:48, Lars Hupel wrote: > I'm seeing some spurious (?) errors in "isabelle build": > > 17:15:13 Finished List-Index (0:00:08 elapsed time, 0:00:11 cpu time, > factor 1.37) > 17:15:13 *** I/O error: > /tmp/isabelle-jenkins/process478460358635901180/export2631876 (No such > file or

[isabelle-dev] I/O error in isabelle build

2018-05-16 Thread Lars Hupel
I'm seeing some spurious (?) errors in "isabelle build": 17:15:13 Finished List-Index (0:00:08 elapsed time, 0:00:11 cpu time, factor 1.37) 17:15:13 *** I/O error: /tmp/isabelle-jenkins/process478460358635901180/export2631876 (No such file or directory) I don't understand where these are