lib/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-09-01 05:01:58 +03:00
Code Activity

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

Browse Source 
Make check-names.sh accept any grep
This commit is contained in:
Dave Rodgman
2021-04-07 15:27:44 +01:00
committed by GitHub
parent b420259777 95caad3743
commit 0708974d85
1 changed files with 0 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tests/scripts/check-names.sh
View File

@@ -28,11 +28,6 @@ EOF
exit exit
fi fi
if grep --version|head -n1|grep GNU >/dev/null; then :; else
echo "This script requires GNU grep.">&2
exit 1
fi
trace= trace=
if [ $# -ne 0 ] && [ "$1" = "-v" ]; then if [ $# -ne 0 ] && [ "$1" = "-v" ]; then
shift shift