8 May
2020
8 May
'20
7:30 a.m.
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 mpe@ellerman.id.au
Acked-by: Kees Cook keescook@chromium.org
--
Kees Cook