1234567891011121314151617181920212223 |
- #!/usr/bin/env bash
- set -eo pipefail
- script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
- cd "$script_path/.."
- if [ "$(uname -s)" = "Darwin" ]; then
-
- BAD_FILES=$(find Base/res/ -type f -perm +111)
- BAD_FILES+=$(find Tests/ -name WPT -prune -or -perm +111 \! -type d -print | grep -Ev '\.(sh|py)$' || true)
- else
- BAD_FILES=$(find Base/res/ -type f -executable)
- BAD_FILES+=$(find Tests/ -name WPT -prune -or -executable \! -type d -print | grep -Ev '\.(sh|py)$' || true)
- fi
- if [ -n "${BAD_FILES}" ]
- then
- echo "These files are marked as executable, but are in directories that do not commonly"
- echo "contain executables. Please double-check the permissions of these files:"
- echo "${BAD_FILES}" | xargs ls -ld
- exit 1
- fi
|