diff options
| author | Linus Torvalds <torvalds@linux-foundation.org> | 2022-12-23 13:56:41 -0800 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2022-12-23 13:56:41 -0800 |
| commit | 2c91ce92c6d99fe8ed0fde2e67c19d40f062e8a3 (patch) | |
| tree | dfe508fe85442380ca58363c8b5bd311243e583a /scripts | |
| parent | 51094a24b85e29138b7fa82ef1e1b4fe19c90046 (diff) | |
| parent | 2d63e6a3d97132449451c2f66fe24a2dc4e2938f (diff) | |
Merge tag 'coccinelle-6.2' of git://git.kernel.org/pub/scm/linux/kernel/git/jlawall/linux
Pull coccicheck update from Julia Lawall:
"Modernize use of grep in coccicheck:
Use 'grep -E' instead of 'egrep'"
* tag 'coccinelle-6.2' of git://git.kernel.org/pub/scm/linux/kernel/git/jlawall/linux:
scripts: coccicheck: use "grep -E" instead of "egrep"
Diffstat (limited to 'scripts')
| -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 |