diff -r c82d49a56cf9 -r f5d3ade80d15 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Tue Mar 14 20:06:37 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Tue Mar 14 20:25:48 2023 +0100
@@ -127,7 +127,7 @@
           Data.all_tables.create_lock(db)
           Data.clean_build(db)
         }
-        db.rebuild()
+        db.vacuum(Data.all_tables)
       }
     }