diff --git a/tests/scripts/check-names.sh b/tests/scripts/check-names.sh index 7c979bcd8..c6a200854 100755 --- a/tests/scripts/check-names.sh +++ b/tests/scripts/check-names.sh @@ -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