On Fri, May 08, 2020 at 04:53:56PM +1000, Michael Ellerman wrote: > shellcheck complains that egrep is deprecated, and the grep man page > agrees. Use grep -E instead. > > Signed-off-by: Michael Ellerman <m...@ellerman.id.au>
Acked-by: Kees Cook <keesc...@chromium.org> -- Kees Cook