src/Pure/Admin/isabelle_cronjob.scala
changeset 65929 de3adcf6a276
parent 65917 2b7d4678bce6
child 65949 453cf5c94345
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Thu May 25 21:55:17 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu May 25 21:59:53 2017 +0200
     1.3 @@ -230,7 +230,7 @@
     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 -              val (results, _) =
     1.8 +              val results =
     1.9                  Build_History.remote_build_history(ssh,
    1.10                    isabelle_repos,
    1.11                    isabelle_repos.ext(r.host),