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.
tuned;
authorFabian Huch <huch@in.tum.de>
Wed, 13 Mar 2024 11:05:53 +0100
changeset 79878 841d0a1a9e48
parent 79877 9aef1d1535ff
child 79879 c00181ecf869
tuned;
src/Pure/Build/build_schedule.scala file | annotate | diff | comparison | revisions 
--- 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