summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGreg Kroah-Hartman <gregkh@linuxfoundation.org>2022-09-21 11:13:41 +0200
committerJulia Lawall <Julia.Lawall@inria.fr>2022-09-21 21:23:56 +0200
commit2d63e6a3d97132449451c2f66fe24a2dc4e2938f (patch)
treed9b1998f9f54853f8dbd68cf73821b4007a5458c
parent521a547ced6477c54b4b0cc206000406c221b4d6 (diff)
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-xscripts/coccicheck2
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