Run the check-cocci on the whole tree, allow passing extra arguments

diff --git a/util/check-cocci b/util/check-cocci
index 48bd1327733dc759175d075bfafeb71ebe60deb8..672520b63350d8d7422477a0bdb6a43f3705af64 100755 (executable)
--- a/util/check-cocci
+++ b/util/check-cocci
@@ -4,9 +4,7 @@ ret=0
 for spatch in cocci/*.spatch; do
     patch="$(dirname "$spatch")/$(basename "$spatch" .spatch).patch"
     : > "$patch"
-    for dir in bin lib fuzz; do
-       spatch --sp-file="$spatch" --use-gitgrep --dir "$dir" --very-quiet --include-headers >> "$patch";
-    done
+    spatch --sp-file "$spatch" --use-gitgrep --dir "." --very-quiet --include-headers "$@" >> "$patch";
     if [ "$(< "$patch" wc -l)" -gt "0" ]; then
        cat "$patch"
        ret=1