[isabelle-dev] Build Manager problem

[Makarius]

On 21/10/2024 19:36, Fabian Huch wrote:
> This means that the build database was left in an undefined state after a 
> previous failure -- in such a case, one can clean it up with:
> 
> 
> ssh build.proof.cit.tum.de
> 
> sudo su - build
> 
> export ISABELLE_IDENTIFIER="build_cluster"
> 
> isabelle build_process -C -r -f

OK, this works.


	Makarius