# HG changeset patch
# User wenzelm
# Date 1686833121 -7200
# Node ID edd1d0bddb246258743481427ecc4ed024a9861a
# Parent  25d448295f2b2017296e2ae4933ee6cf782104b3
tuned;

diff -r 25d448295f2b -r edd1d0bddb24 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Thu Jun 15 14:44:12 2023 +0200
+++ b/src/Pure/Admin/build_release.scala	Thu Jun 15 14:45:21 2023 +0200
@@ -483,7 +483,7 @@
 
       progress.echo_warning("Creating release archive " + context.isabelle_archive + " ...")
 
-      execute(context.dist_dir, """chmod -R a+r . && chmod -R u+w . && chmod -R g=o .""")
+      execute(context.dist_dir, """chmod -R a+r,u+w,g=o .""")
       execute(context.dist_dir,
         """find . -type f "(" -name "*.thy" -o -name "*.ML" -o -name "*.scala" ")" -print | xargs chmod -f u-w""")
       execute_tar(context.dist_dir, "-czf " +
@@ -852,8 +852,7 @@
             " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check
           other_isabelle.isabelle_home_user.file.delete
 
-          execute(tmp_dir, "chmod -R a+r " + Bash.string(context.dist_name))
-          execute(tmp_dir, "chmod -R g=o " + Bash.string(context.dist_name))
+          execute(tmp_dir, "chmod -R a+r,g=o " + Bash.string(context.dist_name))
           execute_tar(tmp_dir, "-czf " + File.bash_path(context.isabelle_library_archive) +
             " " + Bash.string(context.dist_name + "/browser_info"))
         }