# HG changeset patch
# User wenzelm
# Date 1556904325 -7200
# Node ID 7ddb59e72107428a0c32134b3f515199fd43dcb9
# Parent  4e612a13c1ee768d45c4fd2f6dbfeb89a1cb07d6
tuned;

diff -r 4e612a13c1ee -r 7ddb59e72107 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri May 03 15:33:43 2019 +0200
+++ b/src/Pure/Admin/build_release.scala	Fri May 03 19:25:25 2019 +0200
@@ -525,8 +525,8 @@
             val archive_name = isabelle_name + "_linux.tar.xz"
             progress.echo("Packaging " + archive_name + " ...")
             execute_tar(tmp_dir,
-              "-cf- " + Bash.string(isabelle_name) +
-              " | xz > " + File.bash_path(release.dist_dir + Path.explode(archive_name)))
+              "-cJf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
+              Bash.string(isabelle_name))
 
 
           case Platform.Family.macos =>
@@ -585,8 +585,8 @@
             val archive_name = isabelle_name + "_macos.tar.xz"
             progress.echo("Packaging " + archive_name + " ...")
             execute_tar(tmp_dir,
-              "-cf- " + File.bash_path(isabelle_app) +
-              " | xz > " + File.bash_path(release.dist_dir + Path.explode(archive_name)))
+              "-cJf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
+              File.bash_path(isabelle_app))
 
 
           case Platform.Family.windows =>