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 79703 1cd5888ec05f
parent 79699 b88d73810b50
child 79713 d3a26436e679 
--- a/src/Pure/Build/build_schedule.scala	Thu Feb 22 16:31:58 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Thu Feb 22 17:21:13 2024 +0100
@@ -1033,7 +1033,7 @@
     override def run(): Build.Results = {
       Build_Benchmark.benchmark_requirements(build_options)
 
-      if (build_context.jobs > 0) {
+      if (build_context.worker) {
         val benchmark_options = build_options.string.update("build_hostname", hostname)
         Build_Benchmark.benchmark(benchmark_options, progress)
       }
isabelle