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/Build/build_schedule.scala
changeset 79878 841d0a1a9e48
parent 79877 9aef1d1535ff
child 79879 c00181ecf869 
--- a/src/Pure/Build/build_schedule.scala	Tue Mar 12 13:52:29 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Wed Mar 13 11:05:53 2024 +0100
@@ -950,7 +950,7 @@
 
     private val timing_data: Timing_Data = {
       val cluster_hosts: List[Build_Cluster.Host] =
-        if (build_context.jobs == 0) build_context.build_hosts
+        if (!build_context.worker) build_context.build_hosts
         else {
           val local_build_host =
             Build_Cluster.Host(
isabelle