changeset 79614 | 58c0636e0ef5 |
parent 79594 | f933e9153624 |
child 79615 | a01f4cf202fd |
--- a/src/Pure/Build/build_schedule.scala Thu Feb 15 09:53:58 2024 +0100 +++ b/src/Pure/Build/build_schedule.scala Thu Feb 15 10:15:28 2024 +0100 @@ -1283,7 +1283,8 @@ ): Schedule = { val build_engine = new Engine - val store = build_engine.build_store(options, build_hosts = build_hosts, cache = cache) + val store = + build_engine.build_store(options, build_cluster = build_hosts.nonEmpty, cache = cache) val log_store = Build_Log.store(options, cache = cache) val build_options = store.options