tuned;
authorwenzelm
Fri May 03 19:25:25 2019 +0200 (6 months ago)
changeset 702427ddb59e72107
parent 70241 4e612a13c1ee
child 70243 b134cf366c2c
tuned;
src/Pure/Admin/build_release.scala
     1.1 --- a/src/Pure/Admin/build_release.scala	Fri May 03 15:33:43 2019 +0200
     1.2 +++ b/src/Pure/Admin/build_release.scala	Fri May 03 19:25:25 2019 +0200
     1.3 @@ -525,8 +525,8 @@
     1.4              val archive_name = isabelle_name + "_linux.tar.xz"
     1.5              progress.echo("Packaging " + archive_name + " ...")
     1.6              execute_tar(tmp_dir,
     1.7 -              "-cf- " + Bash.string(isabelle_name) +
     1.8 -              " | xz > " + File.bash_path(release.dist_dir + Path.explode(archive_name)))
     1.9 +              "-cJf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
    1.10 +              Bash.string(isabelle_name))
    1.11  
    1.12  
    1.13            case Platform.Family.macos =>
    1.14 @@ -585,8 +585,8 @@
    1.15              val archive_name = isabelle_name + "_macos.tar.xz"
    1.16              progress.echo("Packaging " + archive_name + " ...")
    1.17              execute_tar(tmp_dir,
    1.18 -              "-cf- " + File.bash_path(isabelle_app) +
    1.19 -              " | xz > " + File.bash_path(release.dist_dir + Path.explode(archive_name)))
    1.20 +              "-cJf " + File.bash_path(release.dist_dir + Path.explode(archive_name)) + " " +
    1.21 +              File.bash_path(isabelle_app))
    1.22  
    1.23  
    1.24            case Platform.Family.windows =>