tree 04ad1d1d733d7c5746e027dca73400df3dde8dfd
parent b42025977706261ac51442f90a0a0c72a852b9a8
author Dave Rodgman <dave.rodgman@arm.com> 1617795842 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1617804088 +0100

Make check-names.sh accept any grep

check-names.sh works fine with GNU and with modern FreeBSD grep
so remove the check for GNU grep.

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>