# HG changeset patch
# User wenzelm
# Date 1478255844 -3600
# Node ID 6f852a4c1b0ebd0a56fcfe9199ee5ca1242c6605
# Parent  82e8fd8504676ec17e7afaf619db9a8a7b81554e
self_update of components, e.g. for vmnipkow9;

diff -r 82e8fd850467 -r 6f852a4c1b0e src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Thu Nov 03 17:51:10 2016 +0100
+++ b/src/Pure/Admin/build_history.scala	Fri Nov 04 11:37:24 2016 +0100
@@ -403,6 +403,9 @@
             isabelle_hg.id()
           }
         isabelle_hg.update(rev = rev, clean = true)
+        ssh.execute(
+          ssh.bash_path(isabelle_repos_self + Path.explode("bin/isabelle"))
+            + " components -a").check
         ssh.execute(ssh.bash_path(isabelle_admin + Path.explode("build")) + " jars_fresh").check
         rev
       }