--- a/src/Pure/Admin/isabelle_devel.scala Wed Mar 29 12:25:24 2023 +0200
+++ b/src/Pure/Admin/isabelle_devel.scala Wed Mar 29 14:22:01 2023 +0200
@@ -15,6 +15,7 @@
val root: Path = Path.explode("~/html-data/devel")
val cronjob_log: Path = root + Path.basic(CRONJOB_LOG)
+ val build_log_snapshot: Path = root + Path.explode(BUILD_LOG_DB)
/* index */
@@ -49,19 +50,6 @@
}
- /* maintain build_log database */
-
- def build_log_database(options: Options, log_dirs: List[Path]): Unit = {
- val store = Build_Log.store(options)
- using(store.open_database()) { db =>
- db.vacuum()
- store.update_database(db, log_dirs)
- store.update_database(db, log_dirs, ml_statistics = true)
- store.snapshot_database(db, root + Path.explode(BUILD_LOG_DB))
- }
- }
-
-
/* present build status */
def build_status(options: Options): Unit = {