| commit | 384a0880c4d65bd682f2e376e2addf9ae0551c6c | [log] [tgz] |
|---|---|---|
| author | Dave Rodgman <dave.rodgman@arm.com> | Wed Apr 07 15:29:03 2021 +0100 |
| committer | GitHub <noreply@github.com> | Wed Apr 07 15:29:03 2021 +0100 |
| tree | 934f4b2022a782d1c30c4e645480649550df9008 | |
| parent | 05371be430d6e745e182150c63bc86d46723564d [diff] | |
| parent | aa9dfbfdf41b064673ac4ccb99244aa097e08a0b [diff] |
Merge pull request #4310 from daverodgman/check-names-grep-backport-2.16 Backport 2.16: Make check-names.sh accept any grep
diff --git a/tests/scripts/check-names.sh b/tests/scripts/check-names.sh index 7c979bc..c6a2008 100755 --- a/tests/scripts/check-names.sh +++ b/tests/scripts/check-names.sh
@@ -55,11 +55,6 @@ exit fi -if grep --version|head -n1|grep GNU >/dev/null; then :; else - echo "This script requires GNU grep.">&2 - exit 1 -fi - trace= if [ $# -ne 0 ] && [ "$1" = "-v" ]; then shift