equal
deleted
inserted
replaced
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 "https://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed" |
13 hg -R isabelle pull "https://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" |
|
15 isabelle/bin/isabelle components -a || echo "self_update components failed" |