Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build_process.scala
changeset 78252 4dca4ba6f01b
parent 78251 f0762eb07583
child 78254 50a949d316d3 
--- a/src/Pure/Tools/build_process.scala	Wed Jul 05 11:27:36 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Wed Jul 05 13:41:45 2023 +0200
@@ -1081,7 +1081,7 @@
       start_worker()
 
       if (build_context.master && !build_context.worker_active) {
-        progress.echo("Waiting for external workers ...")
+        build_progress.echo("Waiting for external workers ...")
       }
 
       try {
isabelle