# HG changeset patch
# User wenzelm
# Date 1476952211 -7200
# Node ID 93de02f9c2d9121a98f91c4b60417e8e53e81e01
# Parent  ae7c115739225627fce2b97ebe8c07eb2bc3ca53
more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;

diff -r ae7c11573922 -r 93de02f9c2d9 src/Pure/ROOT
--- a/src/Pure/ROOT	Wed Oct 19 18:14:42 2016 +0200
+++ b/src/Pure/ROOT	Thu Oct 20 10:30:11 2016 +0200
@@ -4,6 +4,7 @@
   description {*
     The Pure logical framework
   *}
+  options [threads = 1]
   global_theories
     Pure
   theories