--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed May 24 11:39:00 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed May 24 15:04:13 2017 +0200
@@ -235,6 +235,7 @@
                   isabelle_repos,
                   isabelle_repos.ext(r.host),
                   isabelle_repos_source = isabelle_dev_source,
+                  isabelle_identifier = "cronjob_build_history",
                   self_update = self_update,
                   push_isabelle_home = push_isabelle_home,
                   options =
changeset 65917	2b7d4678bce6
parent 65915	49f61e2f5a02
child 65929	de3adcf6a276