# HG changeset patch
# User wenzelm
# Date 1674656783 -3600
# Node ID 4c2aaf60c22ca05551677b289c6bafc9accbade4
# Parent  d44e2d1ca84fa14e6b0b001b74d0fe9ef85e79a8
clarified signature;

diff -r d44e2d1ca84f -r 4c2aaf60c22c src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Jan 25 15:18:06 2023 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Jan 25 15:26:23 2023 +0100
@@ -464,10 +464,7 @@
 
       val other_isabelle = context.other_isabelle(context.dist_dir)
 
-      other_isabelle.init_settings(other_isabelle.init_components())
-      other_isabelle.resolve_components(echo = true)
-
-      other_isabelle.scala_build(echo = true)
+      other_isabelle.init(echo = true)
 
       try {
         other_isabelle.bash(
diff -r d44e2d1ca84f -r 4c2aaf60c22c src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Wed Jan 25 15:18:06 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Wed Jan 25 15:26:23 2023 +0100
@@ -139,6 +139,18 @@
   }
 
 
+  def init(
+    other_settings: List[String] = init_components(),
+    fresh: Boolean = false,
+    echo: Boolean = false
+  ): Unit = {
+    init_settings(other_settings)
+    resolve_components(echo = echo)
+    scala_build(fresh = fresh, echo = echo)
+  }
+
+
+
   /* cleanup */
 
   def cleanup(): Unit = {