clarified signature;
authorwenzelm
Sun, 22 Oct 2017 13:22:37 +0200
changeset 66896 85e6748bf8b2
parent 66895 e378e0468ef2
child 66897 d2f983fe3e73
clarified signature;
src/Pure/Admin/isabelle_cronjob.scala
src/Pure/Admin/isabelle_devel.scala
--- 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 =>