Limit spatch to bin, lib and fuzz directories

diff --git a/util/check-cocci b/util/check-cocci
index 61792bd12e3319f23460963da021e69f0665bc70..d9268b808da143af125190c0f8911029e8a37687 100755 (executable)
--- a/util/check-cocci
+++ b/util/check-cocci
@@ -3,7 +3,7 @@
 ret=0
 for spatch in cocci/*.spatch; do
     patch="$(dirname "$spatch")/$(basename "$spatch" .spatch).patch"
-    spatch --sp-file="$spatch" --use-gitgrep --dir . --very-quiet > "$patch";
+    spatch --sp-file="$spatch" --use-gitgrep --dir bin --dir lib --dir fuzz --very-quiet > "$patch";
     if [ "$(< "$patch" wc -l)" -gt "0" ]; then
        cat "$patch"
        ret=1