src/Pure/Admin/build_log.scala

--- a/src/Pure/Admin/build_log.scala	Tue Mar 14 20:06:37 2023 +0100
+++ b/src/Pure/Admin/build_log.scala	Tue Mar 14 20:25:48 2023 +0100
@@ -903,7 +903,7 @@
             db2.create_view(Data.universal_table)
           }
         }
-        db2.rebuild()
+        db2.vacuum()
       }
     }