changeset 76541 | 3706b88035d2 |
parent 76540 | 83de6e9ae983 |
child 76547 | 9fe5d8c70352 |
--- a/src/Pure/Admin/build_spass.scala Wed Nov 30 15:03:31 2022 +0100 +++ b/src/Pure/Admin/build_spass.scala Wed Nov 30 15:14:21 2022 +0100 @@ -70,8 +70,7 @@ Isabelle_System.extract(archive_path, tmp_dir) val source_dir = File.get_dir(tmp_dir, title = download_url) - Isabelle_System.extract(archive_path, component_dir.path) - Isabelle_System.move_file(component_dir.path + source_dir.base, component_dir.src) + Isabelle_System.extract(archive_path, component_dir.src, strip = true) /* build */