src/Pure/Admin/isabelle_cronjob.scala
changeset 67049 0bb8369d10d6
parent 67048 ec438988b65a
child 67070 85e6c1ff5be3
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 11 19:23:52 2017 +0100
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 11 19:39:47 2017 +0100
     1.3 @@ -275,6 +275,14 @@
     1.4                val self_update = !r.shared_home
     1.5                val push_isabelle_home = self_update && Mercurial.is_repository(Path.explode("~~"))
     1.6  
     1.7 +              if (user_home && r.shared_home) {
     1.8 +                ssh.execute("""
     1.9 +if [ ! -e /tmp/isabelle-isatest/contrib ]
    1.10 +then
    1.11 +  mkdir -p /tmp/isabelle-isatest && ln -s /home/isabelle/contrib /tmp/isabelle-isatest
    1.12 +fi""").check
    1.13 +              }
    1.14 +
    1.15                val results =
    1.16                  Build_History.remote_build_history(ssh,
    1.17                    isabelle_repos,