# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1718096868 -7200
# Node ID b5b2f651a2634b9a9db128fd7466d4ec00de417a
# Parent  7d4cd57cd955d632d3a6034b2e1f2d04ed307885
proper available hosts;

diff -r 7d4cd57cd955 -r b5b2f651a263 src/Pure/Build/build_manager.scala
--- 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