# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1719587605 -7200
# Node ID 6ed82923d51df96d4022b8b544cae7dfe9a2f130
# Parent  79719666957315887f54b0565537019f40dce9bb
abort tasks with invalid host specs;

diff -r 797196669573 -r 6ed82923d51d src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Fri Jun 28 16:18:40 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Fri Jun 28 17:13:25 2024 +0200
@@ -739,6 +739,11 @@
 
     private def start_next(): Option[Context] =
       synchronized_database("start_next") {
+        for ((name, task) <- _state.pending if Exn.is_exn(Exn.capture(task.build_hosts))) {
+          progress.echo("Invalid host spec for task " + name + ": " + quote(task.hosts_spec))
+          _state = _state.remove_pending(name)
+        }
+
         _state.next(build_hosts).flatMap { task =>
           echo("Initializing " + task.name)