--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Mar 03 13:23:09 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Mar 03 14:27:33 2018 +0100
@@ -306,16 +306,12 @@
{
using(r.ssh_session(logger.ssh_context))(ssh =>
{
- val self_update = !r.shared_home
- val push_isabelle_home = self_update && Mercurial.is_repository(Path.explode("~~"))
-
val results =
Build_History.remote_build_history(ssh,
isabelle_repos,
isabelle_repos.ext(r.host),
isabelle_identifier = "cronjob_build_history",
- self_update = self_update,
- push_isabelle_home = push_isabelle_home,
+ self_update = !r.shared_home,
rev = rev,
afp_rev = afp_rev,
options =