# HG changeset patch
# User wenzelm
# Date 1706646928 -3600
# Node ID 501af322319c2fe70f16bf5aca50e500f32e834b
# Parent  a33a6e541cbb949873d256e3a6ad89c22d292b0c
more robust (amending c9774306a879);

diff -r a33a6e541cbb -r 501af322319c src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Tue Jan 30 21:20:19 2024 +0100
+++ b/src/Pure/Admin/build_history.scala	Tue Jan 30 21:35:28 2024 +0100
@@ -565,7 +565,7 @@
 
     val clean_platforms = if (clean_platform) Some(List(ssh.isabelle_platform_family)) else None
 
-    self_isabelle.init(fresh = true, echo = true,
+    self_isabelle.init(fresh = !shared_isabelle_self, echo = true,
       component_repository = component_repository,
       other_settings = self_isabelle.init_components(components_base = components_base),
       clean_platforms = clean_platforms,