Messages in this thread | | | Date | Wed, 21 Sep 2022 21:26:10 +0200 (CEST) | From | Julia Lawall <> | Subject | Re: [PATCH] scripts: coccicheck: use "grep -E" instead of "egrep" |
| |
On Wed, 21 Sep 2022, Greg Kroah-Hartman wrote:
> 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>
Applied, thanks.
> --- > scripts/coccicheck | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > 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 > -- > 2.37.3 > >
| |