--- a/src/Pure/Admin/isabelle_cronjob.scala Fri Oct 13 22:56:20 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Oct 14 15:44:21 2017 +0200
@@ -58,8 +58,8 @@
File.standard_path(isabelle_repos), isabelle_repos_test)
for {
(result, log_path) <-
- Build_History.build_history(
- hg, rev = "build_history_base", fresh = true, build_args = List("HOL"))
+ Build_History.build_history(isabelle_repos_test,
+ rev = "build_history_base", fresh = true, build_args = List("HOL"))
} {
result.check
File.move(log_path, logger.log_dir + log_path.base)