summaryrefslogtreecommitdiff
path: root/Meta/lint-shell-scripts.sh
diff options
context:
space:
mode:
Diffstat (limited to 'Meta/lint-shell-scripts.sh')
-rwxr-xr-xMeta/lint-shell-scripts.sh9
1 files changed, 9 insertions, 0 deletions
diff --git a/Meta/lint-shell-scripts.sh b/Meta/lint-shell-scripts.sh
index dfa00cec7e..37e1efcdb0 100755
--- a/Meta/lint-shell-scripts.sh
+++ b/Meta/lint-shell-scripts.sh
@@ -30,6 +30,15 @@ if (( ${#files[@]} )); then
fi
shellcheck "${files[@]}"
+
+ for file in "${files[@]}"; do
+ if (< "$file" grep -qE "grep [^|);]*-[^- ]*P"); then
+ # '\x2D' is the unicode escape sequence for '-'. This is used so
+ # that this script does not flag itself for containing grep dash P.
+ echo -e "The script '$file' contains 'grep \x2DP', which is not supported on macOS. Please use grep -E instead."
+ exit 1
+ fi
+ done
else
echo "No .sh files to check."
fi