# HG changeset patch
# User wenzelm
# Date 1510425587 -3600
# Node ID 0bb8369d10d6bf016fcfe2a65792e8d402c79f40
# Parent  ec438988b65ab9746e8504cf256349043247a1c2
avoid download of components;

diff -r ec438988b65a -r 0bb8369d10d6 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 11 19:23:52 2017 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 11 19:39:47 2017 +0100
@@ -275,6 +275,14 @@
               val self_update = !r.shared_home
               val push_isabelle_home = self_update && Mercurial.is_repository(Path.explode("~~"))
 
+              if (user_home && r.shared_home) {
+                ssh.execute("""
+if [ ! -e /tmp/isabelle-isatest/contrib ]
+then
+  mkdir -p /tmp/isabelle-isatest && ln -s /home/isabelle/contrib /tmp/isabelle-isatest
+fi""").check
+              }
+
               val results =
                 Build_History.remote_build_history(ssh,
                   isabelle_repos,