Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 66861 f6676691ef8a
parent 66860 54ae2cc05325
child 66864 5cb8ccc46e3e 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 14 15:44:21 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 14 16:59:45 2017 +0200
@@ -58,7 +58,7 @@
             File.standard_path(isabelle_repos), isabelle_repos_test)
         for {
           (result, log_path) <-
-            Build_History.build_history(isabelle_repos_test,
+            Build_History.build_history(logger.options, isabelle_repos_test,
               rev = "build_history_base", fresh = true, build_args = List("HOL"))
         } {
           result.check
isabelle