# HG changeset patch
# User wenzelm
# Date 1611749287 -3600
# Node ID b310b93563f63bbb957dee3958bc8dbb4ec0354e
# Parent  a5998396051ef0564a7272853bb0b1846347bd53
more robust: support other_isabelle.init_settings for build_history before b93404a4c3dd;

diff -r a5998396051e -r b310b93563f6 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Jan 25 22:30:39 2021 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Jan 27 13:08:07 2021 +0100
@@ -104,7 +104,7 @@
                 isabelle_identifier = "cronjob_build_history",
                 self_update = true,
                 rev = "build_history_base",
-                options = "-f",
+                options = "-C '$USER_HOME/.isabelle/contrib' -f",
                 args = "HOL")
 
             for ((log_name, bytes) <- results) {
@@ -415,6 +415,7 @@
                 rev = rev,
                 afp_rev = afp_rev,
                 options =
+                  " -C '$USER_HOME/.isabelle/contrib'" +
                   " -N " + Bash.string(task_name) + (if (i < 0) "" else "_" + (i + 1).toString) +
                   " -f -h " + Bash.string(r.host) + " " +
                   (r.java_heap match {