diff options
| author | Felix Singer <felix.singer@secunet.com> | 2023-04-01 14:42:54 +0200 |
|---|---|---|
| committer | Felix Singer <felixsinger@posteo.net> | 2023-04-06 19:54:44 +0000 |
| commit | 74b4bd0e92a77635bbb584d8b7913deb9a134da7 (patch) | |
| tree | fb591e761ce8d63a0797f346592bb3604f49ffa5 /Documentation/endverbatim.tex | |
| parent | 1d13fba3c32ba7974b2c73428ff4b096e814dcd2 (diff) | |
tree: Replace `egrep` with `grep -E`
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>
Diffstat (limited to 'Documentation/endverbatim.tex')
0 files changed, 0 insertions, 0 deletions