--- 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,