From: Ondřej Surý <ondrej@sury.org>
Date: Fri, 12 Jul 2019 13:26:48 +0000 (+0200)
Subject: Fix the check-cocci script to scan bin lib fuzz dirs individually, as it was using... 
X-Git-Tag: v9.15.3~48^2~5
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=5efc32ebae413748f10f1f92a96ebf030fe7b995;p=thirdparty%2Fbind9.git

Fix the check-cocci script to scan bin lib fuzz dirs individually, as it was using only the last one
---

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