--- a/src/Pure/Build/build_manager.scala Tue Jun 11 10:27:35 2024 +0200
+++ b/src/Pure/Build/build_manager.scala Tue Jun 11 11:07:48 2024 +0200
@@ -206,7 +206,7 @@
def next(build_hosts: List[Build_Cluster.Host]): Option[Task] = {
val cluster_running = running.values.exists(_.build_cluster)
- val available = build_hosts.map(_.hostname).toSet - running.values.flatMap(_.hostnames).toSet
+ val available = build_hosts.map(_.hostname).toSet -- running.values.flatMap(_.hostnames).toSet
val ready =
for {
(_, task) <- pending