--- a/src/Pure/Admin/isabelle_cronjob.scala Fri May 18 16:30:20 2018 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Fri May 18 17:09:55 2018 +0200
@@ -529,7 +529,7 @@
(rev, afp_rev) <- r.pick(logger.options, hg.id(), history_base_filter(r))
} yield remote_build_history(rev, afp_rev, i, r)))),
Logger_Task("jenkins_logs", _ =>
- Jenkins.download_logs(Jenkins.build_log_jobs, main_dir)),
+ Jenkins.download_logs(logger.options, Jenkins.build_log_jobs, main_dir)),
Logger_Task("build_log_database",
logger => Isabelle_Devel.build_log_database(logger.options, build_log_dirs)),
Logger_Task("build_status",