Admin/cronjob/self_update
author wenzelm
Fri Nov 03 19:20:47 2017 +0100 (19 months ago)
changeset 66997 17eb23e43630
parent 64538 5dd15fc22a53
child 67744 5c781dcd5864
permissions -rwxr-xr-x
avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
     1 #!/bin/bash
     2 #
     3 # self-update of the administrative isabelle repository
     4 #
     5 # Need to copy this file manually to $HOME/cronjob in order to
     6 # avoid overwriting the running self_update by itself!
     7 
     8 source "$HOME/.bashrc"
     9 
    10 cd "$HOME/cronjob"
    11 mkdir -p run log
    12 
    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"