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> |
||
---|---|---|
.. | ||
config | ||
cross-repo-cherrypick | ||
decode_spd.sh | ||
description.md | ||
dts-to-fmd.sh | ||
find-unused-kconfig-symbols.sh | ||
gerrit-rebase | ||
get_maintainer.pl | ||
maintainers.go | ||
no-fsf-addresses.sh | ||
parse-maintainers.pl | ||
prepare-commit-msg.clang-format | ||
rm_unused_code | ||
show_platforms.sh | ||
testsoc | ||
ucode_h_to_bin.sh | ||
update_submodules |