changeset 76547 | 9fe5d8c70352 |
parent 76518 | b30b8e23383c |
child 76548 | 0af64cc2eee9 |
--- a/src/Pure/Admin/build_zipperposition.scala Wed Nov 30 21:36:06 2022 +0100 +++ b/src/Pure/Admin/build_zipperposition.scala Wed Nov 30 21:53:55 2022 +0100 @@ -27,7 +27,7 @@ val component_name = "zipperposition-" + version val component_dir = - Components.Directory.create(target_dir + Path.basic(component_name), progress = progress) + Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress) /* platform */