--- 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(
--- 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 = {