# HG changeset patch
# User wenzelm
# Date 1508146634 -7200
# Node ID a804fa68f62cb7e0beece9067925bd977529cad4
# Parent  f801b36d7c4efe20658c0d33eee12997ec61c5c1
init user settings on fresh test machine;

diff -r f801b36d7c4e -r a804fa68f62c src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Mon Oct 16 08:00:28 2017 +0200
+++ b/src/Pure/Admin/build_history.scala	Mon Oct 16 11:37:14 2017 +0200
@@ -495,9 +495,10 @@
           isabelle_hg.id()
         }
       isabelle_hg.update(rev = self_rev, clean = true)
-      ssh.execute(
-        ssh.bash_path(isabelle_repos_self + Path.explode("bin/isabelle"))
-          + " components -a").check
+      for (cmd <- List("components -I", "components -a")) {
+        ssh.execute(
+          ssh.bash_path(isabelle_repos_self + Path.explode("bin/isabelle")) + " " + cmd).check
+      }
       ssh.execute(ssh.bash_path(isabelle_admin + Path.explode("build")) + " jars_fresh").check
     }