Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/makedist_bundle
changeset 52561 722d65595e8e
parent 52542 19d674acb764
child 52668 a467a6b4376c 
--- a/Admin/lib/Tools/makedist_bundle	Mon Jul 08 12:47:39 2013 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Mon Jul 08 21:00:16 2013 +0200
@@ -147,15 +147,15 @@
           "contrib/cygwin/isabelle/."
       done
 
-      find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 | \
-        sort > "contrib/cygwin/isabelle/executables"
+      find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \
+        -print0 > "contrib/cygwin/isabelle/executables"
 
       cat >> "contrib/cygwin/isabelle/postinstall" <<EOF
 
 find -type d -exec chmod 755 '{}' +
 find -type f \( -name '*.exe' -o -name '*.dll' \) -exec chmod 755 '{}' +
 find -type f -not -name '*.exe' -not -name '*.dll' -exec chmod 644 '{}' +
-xargs < contrib/cygwin/isabelle/executables chmod 755
+xargs -0 < contrib/cygwin/isabelle/executables chmod 755
 
 EOF
isabelle