# HG changeset patch
# User wenzelm
# Date 1669817997 -3600
# Node ID d6ce50a092eb4d271fe4ea7dc9347bec4986a57d
# Parent  3706b88035d20cc3a82e9c951c6de1a6a7b7ec27
tuned;

diff -r 3706b88035d2 -r d6ce50a092eb src/Pure/Admin/build_scala.scala
--- a/src/Pure/Admin/build_scala.scala	Wed Nov 30 15:14:21 2022 +0100
+++ b/src/Pure/Admin/build_scala.scala	Wed Nov 30 15:19:57 2022 +0100
@@ -28,13 +28,6 @@
     def get(path: Path, progress: Progress = new Progress): Unit =
       Isabelle_System.download_file(proper_url, path, progress = progress)
 
-    def get_unpacked(dir: Path, strip: Boolean = false, progress: Progress = new Progress): Unit =
-      Isabelle_System.with_tmp_file("archive", ext = "tar.gz"){ archive_path =>
-        get(archive_path, progress = progress)
-        progress.echo("Unpacking " + artifact)
-        Isabelle_System.extract(archive_path, dir, strip = strip)
-      }
-
     def print: String =
       "  * " + name + " " + version +
         (if (base_version.nonEmpty) " for Scala " + base_version else "") +
@@ -76,7 +69,10 @@
 
     /* download */
 
-    main_download.get_unpacked(component_dir.path, strip = true, progress = progress)
+    Isabelle_System.with_tmp_file("archive", ext = "tar.gz") { archive_path =>
+      main_download.get(archive_path, progress = progress)
+      Isabelle_System.extract(archive_path, component_dir.path, strip = true)
+    }
 
     lib_downloads.foreach(download =>
       download.get(component_dir.lib + Path.basic(download.artifact), progress = progress))