--- a/src/Pure/Admin/isabelle_cronjob.scala Sun Oct 22 13:12:38 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sun Oct 22 13:22:37 2017 +0200
@@ -26,6 +26,9 @@
val jenkins_jobs = "identify" :: Jenkins.build_log_jobs
+ val build_log_dirs =
+ List(Path.explode("~/log"), Path.explode("~/afp/log"), Path.explode("~/cronjob/log"))
+
/** particular tasks **/
@@ -452,7 +455,7 @@
} yield remote_build_history(isabelle_rev, afp_rev, i, r)))),
Logger_Task("jenkins_logs", _ => Jenkins.download_logs(jenkins_jobs, main_dir)),
Logger_Task("build_log_database",
- logger => Isabelle_Devel.build_log_database(logger.options)),
+ logger => Isabelle_Devel.build_log_database(logger.options, build_log_dirs)),
Logger_Task("build_status",
logger => Isabelle_Devel.build_status(logger.options)))))))
--- a/src/Pure/Admin/isabelle_devel.scala Sun Oct 22 13:12:38 2017 +0200
+++ b/src/Pure/Admin/isabelle_devel.scala Sun Oct 22 13:22:37 2017 +0200
@@ -15,9 +15,6 @@
val BUILD_LOG_DB = "build_log.db"
val BUILD_STATUS = "build_status"
- val standard_log_dirs =
- List(Path.explode("~/log"), Path.explode("~/afp/log"), Path.explode("~/cronjob/log"))
-
/* index */
@@ -67,7 +64,7 @@
/* maintain build_log database */
- def build_log_database(options: Options, log_dirs: List[Path] = standard_log_dirs)
+ def build_log_database(options: Options, log_dirs: List[Path])
{
val store = Build_Log.store(options)
using(store.open_database())(db =>