# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1703003175 -3600
# Node ID fb86fa1c6af953900c488f8498904cd946be6bc0
# Parent  e9a788a757757ddc8198ebb71f7994d1d7001af8
added start-up sequence for benchmark with requirements;

diff -r e9a788a75775 -r fb86fa1c6af9 src/Pure/Tools/build_schedule.scala
--- a/src/Pure/Tools/build_schedule.scala	Fri Dec 15 10:48:05 2023 +0100
+++ b/src/Pure/Tools/build_schedule.scala	Tue Dec 19 17:26:15 2023 +0100
@@ -812,7 +812,7 @@
   ) extends Build_Process(build_context, build_progress, server) {
     /* global resources with common close() operation */
 
-    private val _build_database: Option[SQL.Database] =
+    protected final lazy val _build_database: Option[SQL.Database] =
       try {
         for (db <- store.maybe_open_build_database(server = server)) yield {
           if (build_context.master) {
@@ -898,11 +898,20 @@
     override def open_build_cluster(): Build_Cluster = {
       val build_cluster = super.open_build_cluster()
       build_cluster.init()
+
+      Benchmark.benchmark_requirements(build_options)
+
       if (build_context.max_jobs > 0) {
         val benchmark_options = build_options.string("build_hostname") = hostname
         Benchmark.benchmark(benchmark_options, progress)
       }
       build_cluster.benchmark()
+
+      for (db <- _build_database)
+        Build_Process.private_data.transaction_lock(db, label = "Scheduler_Build_Process.init") {
+          Build_Process.private_data.clean_build(db)
+        }
+
       build_cluster
     }