# HG changeset patch
# User wenzelm
# Date 1556904461 -7200
# Node ID b134cf366c2c33af41f34b7796174bb3f911abe0
# Parent  7ddb59e72107428a0c32134b3f515199fd43dcb9
proper arguments for library build;

diff -r 7ddb59e72107 -r b134cf366c2c src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri May 03 19:25:25 2019 +0200
+++ b/src/Pure/Admin/build_release.scala	Fri May 03 19:27:41 2019 +0200
@@ -726,15 +726,15 @@
         Isabelle_System.with_tmp_dir("build_release")(tmp_dir =>
           {
             val bundle =
-              release.dist_dir + Path.explode(release.dist_name + "_" + Platform.family + ".tar.gz")
-            execute_tar(tmp_dir, "-xzf " + File.bash_path(bundle))
+              release.dist_dir + Path.explode(release.dist_name + "_" + Platform.family + ".tar.xz")
+            execute_tar(tmp_dir, "-xJf " + File.bash_path(bundle))
 
             val other_isabelle = release.other_isabelle(tmp_dir)
 
             Isabelle_System.mkdirs(other_isabelle.etc)
             File.write(other_isabelle.etc_preferences, "ML_system_64 = true\n")
 
-            other_isabelle.bash("bin/isabelle build -j " + parallel_jobs +
+            other_isabelle.bash("bin/isabelle build -f -j " + parallel_jobs +
               " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
               " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check
             other_isabelle.isabelle_home_user.file.delete