tuned signature;
authorwenzelm
Wed, 05 May 2021 13:30:11 +0200
changeset 73884 ac8feb094bd4
parent 73883 27659455c592
child 73885 a771807df752
tuned signature;
src/Pure/Admin/build_jdk.scala
src/Pure/General/path.scala
--- a/src/Pure/Admin/build_jdk.scala	Wed May 05 13:27:30 2021 +0200
+++ b/src/Pure/Admin/build_jdk.scala	Wed May 05 13:30:11 2021 +0200
@@ -205,8 +205,7 @@
 
         progress.echo("Archiving ...")
         Isabelle_System.gnutar(
-          "-czf " + File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name,
-          dir = dir).check
+          "-czf " + File.bash_path(target_dir + jdk_path.tar.gz) + " " + jdk_name, dir = dir).check
       })
   }
 
--- a/src/Pure/General/path.scala	Wed May 05 13:27:30 2021 +0200
+++ b/src/Pure/General/path.scala	Wed May 05 13:30:11 2021 +0200
@@ -217,6 +217,8 @@
   def tex: Path = ext("tex")
   def pdf: Path = ext("pdf")
   def thy: Path = ext("thy")
+  def tar: Path = ext("tar")
+  def gz: Path = ext("gz")
 
   def backup: Path =
   {