# HG changeset patch
# User wenzelm
# Date 1678311741 -3600
# Node ID 7723cf88658fa6cf26f246817d5227e90683c616
# Parent  08ed864fed2460921710184946cae6cc4311363d
proper test (amending 32f9e75c92e9);

diff -r 08ed864fed24 -r 7723cf88658f src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Wed Mar 08 22:40:47 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Wed Mar 08 22:42:21 2023 +0100
@@ -145,7 +145,7 @@
       build_heap || Sessions.is_pure(name) ||
       sessions.valuesIterator.exists(_.ancestors.contains(name))
 
-    def worker_active: Boolean = max_jobs > 1
+    def worker_active: Boolean = max_jobs > 0
   }