[isabelle-dev] mkdir failures

[Jasmin Blanchette]

Am 01.10.2010 um 17:03 schrieb Makarius:

> On Fri, 1 Oct 2010, Jasmin Blanchette wrote:
> [...]
>> Has anybody run into similar issues before?
> 
> Yes, it merely means there is an inconsistency between the sources (notably lib/scripts/process) and the compiled image.  You merely need to make sure everything is compiled afresh.

Thanks, that did the trick! (Indeed, "lib/scripts/process" was not up to date.)

Jasmin