diff options
| -rwxr-xr-x | scripts/coccicheck | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index 0e6bc5a10320..89d591af5f3e 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck @@ -270,7 +270,11 @@ fi if [ "$COCCI" = "" ] ; then for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do - coccinelle $f + if grep -q "virtual[[:space:]]\+$MODE" "$f"; then + coccinelle $f + else + echo "warning: Skipping $f as it does not match mode '$MODE'" + fi done else coccinelle $COCCI |