# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1702312101 -3600
# Node ID 6dc4fd89987f158e140bd56689075d496a409e5d
# Parent  d9f0eb441d747e493cdadc9063d859df3c6f3ea7
filter predecessors properly (amending ee405c40db72);

diff -r d9f0eb441d74 -r 6dc4fd89987f src/Pure/Tools/build_schedule.scala
--- a/src/Pure/Tools/build_schedule.scala	Mon Dec 11 16:49:26 2023 +0100
+++ b/src/Pure/Tools/build_schedule.scala	Mon Dec 11 17:28:21 2023 +0100
@@ -517,8 +517,9 @@
 
         val host_preds =
           for {
-            (name, (node, _)) <- finished.graph.iterator.toSet
-            if node.node_info.hostname == job.node_info.hostname
+            (name, (pred_node, _)) <- finished.graph.iterator.toSet
+            if pred_node.node_info.hostname == job.node_info.hostname
+            if pred_node.end.time <= node.start.time
           } yield name
         val build_preds =
           build_state.sessions.graph.imm_preds(job.name).filter(finished.graph.defined)