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 63058 8804faa80bc9
parent 62164 a12413bec743
child 63490 9416333a17c2 
--- a/Admin/lib/Tools/makedist_bundle	Tue Apr 26 19:37:47 2016 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Tue Apr 26 21:46:12 2016 +0200
@@ -320,8 +320,13 @@
           "contrib/cygwin/isabelle/."
       done
 
-      find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \
-        -print0 > "contrib/cygwin/isabelle/executables"
+      if [ "$ISABELLE_PLATFORM_FAMILY" = macos ]; then
+        find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \
+          -print0 > "contrib/cygwin/isabelle/executables"
+      else
+        find . -type f -not -name '*.exe' -not -name '*.dll' -executable \
+          -print0 > "contrib/cygwin/isabelle/executables"
+      fi
 
       find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \
         > "contrib/cygwin/isabelle/symlinks"
isabelle