From: Ondřej Surý <ondrej@isc.org>
Date: Sat, 8 Feb 2020 10:33:58 +0000 (-0800)
Subject: Run the check-cocci on the whole tree, allow passing extra arguments
X-Git-Tag: v9.16.0~16^2~2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=341840c026e5542aacb5dfa05d0bdc9d77714e4f;p=thirdparty%2Fbind9.git

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

diff --git a/util/check-cocci b/util/check-cocci
index 48bd1327733..672520b6335 100755
--- 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