# HG changeset patch
# User wenzelm
# Date 1688560412 -7200
# Node ID 50a949d316d357fc7902f2b795d2f13a54cd91f2
# Parent  12d54a78bc0eda2f806a6408c69ed8bc85ba7b97
tuned;

diff -r 12d54a78bc0e -r 50a949d316d3 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Wed Jul 05 14:33:13 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Wed Jul 05 14:33:32 2023 +0200
@@ -845,13 +845,12 @@
   private val _build_database: Option[SQL.Database] =
     try {
       for (db <- store.maybe_open_build_database()) yield {
-        val shared_db = db.is_postgresql
+        val more_tables = if (db.is_postgresql) Store.Data.tables else SQL.Tables.empty
         Build_Process.Data.transaction_lock(db, create = true) {
           Build_Process.Data.clean_build(db)
-          if (shared_db) Store.Data.tables.lock(db, create = true)
+          more_tables.lock(db, create = true)
         }
-        Build_Process.Data.vacuum(db,
-          more_tables = if (shared_db) Store.Data.tables else SQL.Tables.empty)
+        Build_Process.Data.vacuum(db, more_tables = more_tables)
         db
       }
     }