lint: scripted-diff verification also requires GNU grep

This commit is contained in:
Sjors Provoost 2024-03-21 13:12:19 +01:00
parent 71b63195b3
commit 3bf4f8db66
No known key found for this signature in database
GPG key ID: 57FF9BDBCC301009

View file

@ -22,6 +22,11 @@ if ! sed --help 2>&1 | grep -q 'GNU'; then
exit 1;
fi
if ! grep --help 2>&1 | grep -q 'GNU'; then
echo "Error: the installed grep package is not compatible. Please make sure you have GNU grep installed in your system.";
exit 1;
fi
RET=0
PREV_BRANCH=$(git name-rev --name-only HEAD)
PREV_HEAD=$(git rev-parse HEAD)