74b4bd0e92
For compatibility reasons, egrep is just a wrapper around grep today. Thus, replace it with `grep -E`. Change-Id: Ief08a22e4cd7211a3fee278492c95d37f9e058fa Signed-off-by: Felix Singer <felix.singer@secunet.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/74171 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Paul Menzel <paulepanter@mailbox.org> Reviewed-by: Michael Niewöhner <foss@mniewoehner.de> |
||
---|---|---|
.. | ||
PDCurses | ||
form | ||
menu | ||
pdcurses-backend | ||
Makefile.inc | ||
colors.c | ||
curses.h | ||
curses.priv.h | ||
keyboard.c | ||
local.h | ||
tinycurses.c |