Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper build_progress for local messages;
authorwenzelm
Wed, 05 Jul 2023 13:41:45 +0200
changeset 78252 4dca4ba6f01b
parent 78251 f0762eb07583
child 78253 12d54a78bc0e
proper build_progress for local messages;
src/Pure/Tools/build_process.scala file | annotate | diff | comparison | revisions 
--- 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