# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1710579736 -3600
# Node ID c50c15bd304b261237901e1a33d62a7d81b4eb90
# Parent  01652fac103987a8239df84b0a27c381340bf239
remove old build before generating schedule;

diff -r 01652fac1039 -r c50c15bd304b src/Pure/Build/build_schedule.scala
--- a/src/Pure/Build/build_schedule.scala	Sat Mar 16 09:58:23 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Sat Mar 16 10:02:16 2024 +0100
@@ -1375,6 +1375,8 @@
     session_setup: (String, Session) => Unit = (_, _) => (),
     cache: Term.Cache = Term.Cache.make()
   ): Schedule = {
+    Build.build_process(options, build_cluster = true, remove_builds = true)
+
     val store =
       Build_Engine.build_store(options, build_cluster = build_hosts.nonEmpty, cache = cache)
     val log_store = Build_Log.store(options, cache = cache)