back to isabelle-dev repository;
authorwenzelm
Sun Dec 04 18:53:22 2016 +0100 (2016-12-04)
changeset 645385dd15fc22a53
parent 64537 693389d87139
child 64539 a868c83aa66e
back to isabelle-dev repository;
Admin/cronjob/self_update
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/Admin/cronjob/self_update	Sun Dec 04 18:53:55 2016 +0100
     1.2 +++ b/Admin/cronjob/self_update	Sun Dec 04 18:53:22 2016 +0100
     1.3 @@ -10,5 +10,5 @@
     1.4  cd "$HOME/cronjob"
     1.5  mkdir -p run log
     1.6  
     1.7 -hg -R isabelle pull "http://bitbucket.org/isabelle_project/isabelle-release" -q || echo "self_update pull failed"
     1.8 +hg -R isabelle pull "http://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
     1.9  hg -R isabelle update -C -q || echo "self_update update failed"
     2.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Dec 04 18:53:55 2016 +0100
     2.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Dec 04 18:53:22 2016 +0100
     2.3 @@ -126,7 +126,7 @@
     2.4                  Build_History.remote_build_history(ssh,
     2.5                    isabelle_repos,
     2.6                    isabelle_repos.ext(r.host),
     2.7 -                  isabelle_repos_source = isabelle_release_source,
     2.8 +                  isabelle_repos_source = isabelle_dev_source,
     2.9                    self_update = self_update,
    2.10                    push_isabelle_home = push_isabelle_home,
    2.11                    options =