# HG changeset patch
# User wenzelm
# Date 1522230858 -7200
# Node ID b731a8d37131816a2f39dc44bbd9c4368fcdae1b
# Parent  f646d1c826a16300555c3350e7f1253a427fdbce
proper self_update of components -- do assume shared file-system;

diff -r f646d1c826a1 -r b731a8d37131 Admin/cronjob/self_update
--- a/Admin/cronjob/self_update	Tue Mar 27 13:59:01 2018 +0200
+++ b/Admin/cronjob/self_update	Wed Mar 28 11:54:18 2018 +0200
@@ -12,3 +12,4 @@
 
 hg -R isabelle pull "https://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
 hg -R isabelle update -C -q || echo "self_update update failed"
+isabelle/bin/isabelle components -a || echo "self_update components failed"