diff -r fd40e36045fd -r 7ee426daafa3 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sat Mar 04 16:15:50 2023 +0100
+++ b/src/Pure/Tools/build.scala	Sat Mar 04 16:45:21 2023 +0100
@@ -46,8 +46,8 @@
 
   class Engine(val name: String) extends Isabelle_System.Service {
     override def toString: String = name
-    def init(build_context: Build_Process.Context): Build_Process =
-      new Build_Process(build_context)
+    def init(build_context: Build_Process.Context, build_progress: Progress): Build_Process =
+      new Build_Process(build_context, build_progress)
   }
 
   class Default_Engine extends Engine("") { override def toString: String = "<default>" }
@@ -169,7 +169,7 @@
     val results =
       Isabelle_Thread.uninterruptible {
         val engine = get_engine(build_options.string("build_engine"))
-        using(engine.init(build_context)) { build_process =>
+        using(engine.init(build_context, progress)) { build_process =>
           val res = build_process.run()
           Results(build_context, res)
         }