--- a/src/Pure/Build/build_schedule.scala Fri Feb 16 11:12:42 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala Fri Feb 16 11:15:43 2024 +0100
@@ -1314,8 +1314,7 @@
val hosts_current =
cluster_hosts.forall(host => isabelle.Host.read_info(host_database, host.name).isDefined)
if (!hosts_current) {
- Build_Cluster.make(build_context, progress = progress)
- .open().init().benchmark().close()
+ using(Build_Cluster.make(build_context, progress = progress).open())(_.init().benchmark())
}
val host_infos = Host_Infos.load(cluster_hosts, host_database)