# HG changeset patch
# User wenzelm
# Date 1714159947 -7200
# Node ID 680e1618d404aa20d17d60b80c2efe14ec133bf0
# Parent  059d5e115ae356aa84ace3a1340bd81006248e9f
proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca-trust/extracted/pem/directory-hash;

diff -r 059d5e115ae3 -r 680e1618d404 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri Apr 26 20:18:15 2024 +0200
+++ b/src/Pure/Admin/build_release.scala	Fri Apr 26 21:32:27 2024 +0200
@@ -759,6 +759,10 @@
               """find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" """ +
               """> contrib/cygwin/isabelle/symlinks""")
 
+            execute(isabelle_target,
+              """find . -type d -not -perm """ +
+              (if (Platform.is_macos) "+" else "/") + """222 -exec chmod +w "{}" ";" """)
+
             execute(isabelle_target, """find . -type l -exec rm "{}" ";" """)
 
             File.write(isabelle_target + Path.explode("contrib/cygwin/isabelle/uninitialized"), "")