[isabelle-dev] Testboard problem

[Johannes Hölzl]

Hi,

a change of mine leads to a failure of the testboard,
HOL-Proofs-Extraction can not be build anymore.

For example see:

http://isabelle.in.tum.de/testboard/Isabelle/report/8ceeff1ddd5f46b49db13d3380997d28

But when I run on this very changeset the commands

  isabelle build -b HOL-Proofs-Extraction

or

  isabelle build -a

on my machine, everything runs fine.

Is there a special setup for the testboard when it runs Isabelle
makeall?

 - Johannes