# HG changeset patch
# User wenzelm
# Date 1461699972 -7200
# Node ID 8804faa80bc9745bb77847000c80d9ac786f6746
# Parent  50802acac277a3bf16dc82a87c263d0f19aca053
more portable: GNU find no longer supports "-perm +mode";

diff -r 50802acac277 -r 8804faa80bc9 Admin/lib/Tools/makedist
--- a/Admin/lib/Tools/makedist	Tue Apr 26 19:37:47 2016 +0200
+++ b/Admin/lib/Tools/makedist	Tue Apr 26 21:46:12 2016 +0200
@@ -180,7 +180,7 @@
 
 echo "### Preparing distribution $DISTNAME"
 
-find . "(" -name \*.thy -o -name \*.ML -o -name \*.scala ")" -perm +111 -print | xargs chmod -f -x
+find . "(" -name \*.thy -o -name \*.ML -o -name \*.scala ")" -print | xargs chmod -f -x
 find . -print | xargs chmod -f u+rw
 
 export CLASSPATH="$ISABELLE_CLASSPATH"
diff -r 50802acac277 -r 8804faa80bc9 Admin/lib/Tools/makedist_bundle
--- 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"