Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Fri, 03 May 2019 19:25:25 +0200
changeset 70242 7ddb59e72107
parent 70241 4e612a13c1ee
child 70243 b134cf366c2c
tuned;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- 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 =>
isabelle