equal
deleted
inserted
replaced
318 do |
318 do |
319 cp -a "$ISABELLE_HOME/Admin/Windows/Cygwin/isabelle/$NAME" \ |
319 cp -a "$ISABELLE_HOME/Admin/Windows/Cygwin/isabelle/$NAME" \ |
320 "contrib/cygwin/isabelle/." |
320 "contrib/cygwin/isabelle/." |
321 done |
321 done |
322 |
322 |
323 find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \ |
323 if [ "$ISABELLE_PLATFORM_FAMILY" = macos ]; then |
324 -print0 > "contrib/cygwin/isabelle/executables" |
324 find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \ |
|
325 -print0 > "contrib/cygwin/isabelle/executables" |
|
326 else |
|
327 find . -type f -not -name '*.exe' -not -name '*.dll' -executable \ |
|
328 -print0 > "contrib/cygwin/isabelle/executables" |
|
329 fi |
325 |
330 |
326 find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \ |
331 find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \ |
327 > "contrib/cygwin/isabelle/symlinks" |
332 > "contrib/cygwin/isabelle/symlinks" |
328 find . -type l -exec rm "{}" ";" |
333 find . -type l -exec rm "{}" ";" |
329 |
334 |