avoid download of components;
authorwenzelm
Sat Nov 11 19:39:47 2017 +0100 (6 months ago)
changeset 670490bb8369d10d6
parent 67048 ec438988b65a
child 67050 1e29e2666a15
avoid download of components;
src/Pure/Admin/isabelle_cronjob.scala
     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,