--- a/src/Pure/Admin/build_release.scala Sun Dec 02 14:12:08 2018 +0100
+++ b/src/Pure/Admin/build_release.scala Sun Dec 02 15:56:14 2018 +0100
@@ -246,7 +246,8 @@
isabelle_identifier = release.other_isabelle_identifier,
progress = progress)
- other_isabelle.init_settings((base_dir.absolute + Path.explode("contrib")).implode, Nil)
+ other_isabelle.init_settings(
+ other_isabelle.init_components(base = base_dir.absolute + Path.explode("contrib")))
other_isabelle.resolve_components(echo = true)
try {