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 /util/lint/lint-stable-009-old-licenses | |
| 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 'util/lint/lint-stable-009-old-licenses')
| -rwxr-xr-x | util/lint/lint-stable-009-old-licenses | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-stable-009-old-licenses b/util/lint/lint-stable-009-old-licenses index 09b53a2b14..bb508d7f04 100755 --- a/util/lint/lint-stable-009-old-licenses +++ b/util/lint/lint-stable-009-old-licenses @@ -39,7 +39,7 @@ if [ -z "$HEADER_DIRS" ]; then HEADER_DIRS="src util tests" fi -headerlist=$(${FIND_FILES} $HEADER_DIRS | egrep -v "($HEADER_EXCLUDED)") +headerlist=$(${FIND_FILES} $HEADER_DIRS | grep -E -v "($HEADER_EXCLUDED)") #check for the old style header headerlist=$(grep -il "You should have received a copy of the GNU" \ |