diff options
Diffstat (limited to '0003-scripts-coccicheck-use-grep-E-instead-of-egrep.patch')
| -rw-r--r-- | 0003-scripts-coccicheck-use-grep-E-instead-of-egrep.patch | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/0003-scripts-coccicheck-use-grep-E-instead-of-egrep.patch b/0003-scripts-coccicheck-use-grep-E-instead-of-egrep.patch deleted file mode 100644 index e0322f95d88458..00000000000000 --- a/0003-scripts-coccicheck-use-grep-E-instead-of-egrep.patch +++ /dev/null @@ -1,29 +0,0 @@ -From 81da721534f3fe8c01428a1179ad70a50e2e34b8 Mon Sep 17 00:00:00 2001 -From: Greg Kroah-Hartman <gregkh@linuxfoundation.org> -Date: Wed, 21 Sep 2022 11:11:47 +0200 -Subject: [PATCH 3/3] 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> ---- - scripts/coccicheck | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - ---- 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 |