src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Mon Mar 06 16:20:12 2023 +0100
+++ b/src/Pure/Tools/build.scala	Mon Mar 06 17:29:00 2023 +0100
@@ -168,7 +168,7 @@
       Isabelle_Thread.uninterruptible {
         val engine = get_engine(build_options.string("build_engine"))
         using(engine.init(build_context, progress)) { build_process =>
-          val res = build_process.run()
+          val res = build_process.run(master = true)
           Results(build_context, res)
         }
       }