--- 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"), "")