diff options
author | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | 2022-09-21 11:13:41 +0200 |
---|---|---|
committer | Julia Lawall <Julia.Lawall@inria.fr> | 2022-09-21 21:23:56 +0200 |
commit | 2d63e6a3d97132449451c2f66fe24a2dc4e2938f (patch) | |
tree | d9b1998f9f54853f8dbd68cf73821b4007a5458c | |
parent | Linux 6.0-rc6 (diff) | |
download | linux-2d63e6a3d97132449451c2f66fe24a2dc4e2938f.tar.xz linux-2d63e6a3d97132449451c2f66fe24a2dc4e2938f.zip |
scripts: coccicheck: use "grep -E" instead of "egrep"
The latest version of grep claims that egrep is now obsolete so the build
now contains warnings that look like:
egrep: warning: egrep is obsolescent; using grep -E
fix this up by moving the vdso Makefile to use "grep -E" instead.
Cc: Julia Lawall <Julia.Lawall@inria.fr>
Cc: Nicolas Palix <nicolas.palix@imag.fr>
Cc: cocci@inria.fr
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
-rwxr-xr-x | scripts/coccicheck | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index caba0bff6da7..2956fce8fa4f 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck @@ -47,7 +47,7 @@ FLAGS="--very-quiet" # inspected there. # # --profile will not output if --very-quiet is used, so avoid it. -echo $SPFLAGS | egrep -e "--profile|--show-trying" 2>&1 > /dev/null +echo $SPFLAGS | grep -E -e "--profile|--show-trying" 2>&1 > /dev/null if [ $? -eq 0 ]; then FLAGS="--quiet" fi |