Admin/cronjob/self_update
changeset 64538 5dd15fc22a53
parent 64450 73859eb8d1fe
child 67744 5c781dcd5864
equal deleted inserted replaced
64537:693389d87139 64538:5dd15fc22a53
     8 source "$HOME/.bashrc"
     8 source "$HOME/.bashrc"
     9 
     9 
    10 cd "$HOME/cronjob"
    10 cd "$HOME/cronjob"
    11 mkdir -p run log
    11 mkdir -p run log
    12 
    12 
    13 hg -R isabelle pull "http://bitbucket.org/isabelle_project/isabelle-release" -q || echo "self_update pull failed"
    13 hg -R isabelle pull "http://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
    14 hg -R isabelle update -C -q || echo "self_update update failed"
    14 hg -R isabelle update -C -q || echo "self_update update failed"