Merge pull request #4310 from daverodgman/check-names-grep-backport-2.16

Backport 2.16: Make check-names.sh accept any grep
This commit is contained in:
Dave Rodgman 2021-04-07 15:29:03 +01:00 committed by GitHub
commit 384a0880c4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -55,11 +55,6 @@ EOF
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