Ville Skyttä a74468155d Use grep -E instead of egrep
`egrep` has been deprecated in GNU grep since 2007,
and since 3.8 it emits obsolescence warnings:
https://git.savannah.gnu.org/cgit/grep.git/commit/?id=a9515624709865d480e3142fd959bccd1c9372d1

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
2023-01-16 11:08:46 +00:00
..
2023-01-11 14:52:35 +01:00
2023-01-11 14:52:35 +01:00
2023-01-16 11:08:46 +00:00
2023-01-11 14:52:35 +01:00
2023-01-11 14:52:35 +01:00