# HG changeset patch
# User wenzelm
# Date 1452181852 -3600
# Node ID 8d5f2e3e836d77a54573794aebbae8b41c4dfaa1
# Parent  7edf47be2baf1ccd777a58d6a026f36456455478
more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links;

diff -r 7edf47be2baf -r 8d5f2e3e836d Admin/lib/Tools/makedist_bundle
--- 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"
     )