# HG changeset patch
# User wenzelm
# Date 1620214211 -7200
# Node ID ac8feb094bd448386d359814748c9c1302a6eb85
# Parent  27659455c592647e9ee498ea5a3869fe52ff26a7
tuned signature;

diff -r 27659455c592 -r ac8feb094bd4 src/Pure/Admin/build_jdk.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
       })
   }
 
diff -r 27659455c592 -r ac8feb094bd4 src/Pure/General/path.scala
--- 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 =
   {