src/Pure/Admin/build_log.scala

 
     using(store.open_database()) { db =>
       if (vacuum) db.vacuum()
 
       progress.echo("Updating database " + db + " ...")
-      val errors0 = store.write_info(db, log_files, progress = progress)
-
       val errors =
-        if (ml_statistics) {
-          progress.echo("Updating database " + db + " (ML statistics) ...")
-          store.write_info(db, log_files, ml_statistics = true,
-            progress = progress, errors = errors0)
-        }
-        else errors0
+        store.write_info(db, log_files, ml_statistics = ml_statistics, progress = progress)
 
       if (errors.isEmpty) {
         for (path <- snapshot) {
           progress.echo("Writing database snapshot " + path)
           store.snapshot_database(db, path)