more explicit pull;
authorwenzelm
Mon Oct 31 14:21:23 2016 +0100 (2016-10-31)
changeset 64432c381bfd068fd
parent 64431 ae53f4d901a3
child 64433 d4829dc875fb
more explicit pull;
Admin/cronjob/self_update
     1.1 --- a/Admin/cronjob/self_update	Sun Oct 30 13:15:14 2016 +0100
     1.2 +++ b/Admin/cronjob/self_update	Mon Oct 31 14:21:23 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 -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"