Revision c7dfd924a165 should now take care of it. - Brian
On Tue, Mar 18, 2014 at 11:47 AM, Makarius <makar...@sketis.net> wrote: > On Tue, 18 Mar 2014, Florian Haftmann wrote: > >> hg id 9ffbb4004c81 > > > I've noticed this as well, when preparing a push. The broken state means I > have to roll back and wait until tomorrow. > > Everything comes to a grinding halt, just because a routine "build -a" (with > usual -j options) of maybe 20min was forgotten. > > > Makarius > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev