Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links;
authorwenzelm
Thu, 07 Jan 2016 16:50:52 +0100
changeset 62096 8d5f2e3e836d
parent 62095 7edf47be2baf
child 62097 634838f919e4
more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links;
Admin/lib/Tools/makedist_bundle file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/makedist_bundle	Thu Jan 07 16:29:41 2016 +0100
+++ b/Admin/lib/Tools/makedist_bundle	Thu Jan 07 16:50:52 2016 +0100
@@ -325,6 +325,7 @@
 
       find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \
         > "contrib/cygwin/isabelle/symlinks"
+      find . -type l -exec rm "{}" ";"
 
       touch "contrib/cygwin/isabelle/uninitialized"
     )
isabelle