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,