src/Pure/Tools/build_job.scala

--- a/src/Pure/Tools/build_job.scala	Tue Sep 07 15:15:13 2021 +0200
+++ b/src/Pure/Tools/build_job.scala	Tue Sep 07 16:34:17 2021 +0200
@@ -265,7 +265,8 @@
       }
 
       val export_consumer =
-        Export.consumer(store.open_database(session_name, output = true), store.cache)
+        Export.consumer(store.open_database(session_name, output = true), store.cache,
+          progress = progress)
 
       val stdout = new StringBuilder(1000)
       val stderr = new StringBuilder(1000)