| commit | 38ff9adacb49d8352511c477a37d09dffbad67fb | [log] [tgz] |
|---|---|---|
| author | Dave Rodgman <dave.rodgman@arm.com> | Wed Apr 07 15:28:08 2021 +0100 |
| committer | GitHub <noreply@github.com> | Wed Apr 07 15:28:08 2021 +0100 |
| tree | 69f68eb297388b1cbb0531d3a891e5af9fc5bf82 | |
| parent | e6a778286fc50b05b477624cbac1c3ea23c01de7 [diff] | |
| parent | 6341c068bc8314f06f37b1454231e1b269009a36 [diff] |
Merge pull request #4308 from daverodgman/checknames-grep Forwardport 3.0: Make check-names.sh accept FreeBSD grep
diff --git a/tests/scripts/check-names.sh b/tests/scripts/check-names.sh index 1c807c7..70c64b9 100755 --- a/tests/scripts/check-names.sh +++ b/tests/scripts/check-names.sh
@@ -28,11 +28,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