# HG changeset patch
# User wenzelm
# Date 1476616307 -7200
# Node ID 528381eb8a7bad00d2b862726ef7a1dd5063747b
# Parent  c1b5165b73dbebbc84d7dfa07f7feec932e43aaf
proper setup of fresh repository;

diff -r c1b5165b73db -r 528381eb8a7b src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Oct 15 23:07:47 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 16 13:11:47 2016 +0200
@@ -61,10 +61,13 @@
   private val build_history_base =
     Logger_Task("build_history_base", logger =>
       {
+        val hg =
+          Mercurial.setup_repository(
+            File.standard_path(isabelle_repos), isabelle_repos_test)
         for {
           (result, log_path) <-
-            Build_History.build_history(Mercurial.repository(isabelle_repos_test),
-              rev = "build_history_base", fresh = true, build_args = List("HOL"))
+            Build_History.build_history(
+              hg, rev = "build_history_base", fresh = true, build_args = List("HOL"))
         } {
           result.check
           File.copy(log_path, logger.log_dir + log_path.base)