tree 69f68eb297388b1cbb0531d3a891e5af9fc5bf82
parent e6a778286fc50b05b477624cbac1c3ea23c01de7
author Dave Rodgman <dave.rodgman@arm.com> 1617795842 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1617803673 +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>