--- 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)