bind9/util/check-cocci

#!/bin/sh

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
    if [ "$(< "$patch" wc -l)" -gt "0" ]; then
	cat "$patch"
	ret=1
    else
	rm "$patch"
    fi
done

exit $ret
Add unreachable.spatch coccinelle recipe and run it in precheck CI phase 2018-11-08 10:38:46 -05:00			`#!/bin/sh`

Revert to patch generating check-cocci script The coccinelle and util/update_copyright script have different idea about how the whitespace should look like. Revert the script to the previous version, so it doesn't mangle the files in place, and deal with just whitespace changes. 2019-07-16 10:50:09 -04:00			`ret=0`
Add unreachable.spatch coccinelle recipe and run it in precheck CI phase 2018-11-08 10:38:46 -05:00			`for spatch in cocci/*.spatch; do`
Revert to patch generating check-cocci script The coccinelle and util/update_copyright script have different idea about how the whitespace should look like. Revert the script to the previous version, so it doesn't mangle the files in place, and deal with just whitespace changes. 2019-07-16 10:50:09 -04:00			`patch="$(dirname "$spatch")/$(basename "$spatch" .spatch).patch"`
			`: > "$patch"`
Fix the check-cocci script to scan bin lib fuzz dirs individually, as it was using only the last one 2019-07-12 09:26:48 -04:00			`for dir in bin lib fuzz; do`
Revert to patch generating check-cocci script The coccinelle and util/update_copyright script have different idea about how the whitespace should look like. Revert the script to the previous version, so it doesn't mangle the files in place, and deal with just whitespace changes. 2019-07-16 10:50:09 -04:00			`spatch --sp-file="$spatch" --use-gitgrep --dir "$dir" --very-quiet --include-headers >> "$patch";`
Fix the check-cocci script to scan bin lib fuzz dirs individually, as it was using only the last one 2019-07-12 09:26:48 -04:00			`done`
Revert to patch generating check-cocci script The coccinelle and util/update_copyright script have different idea about how the whitespace should look like. Revert the script to the previous version, so it doesn't mangle the files in place, and deal with just whitespace changes. 2019-07-16 10:50:09 -04:00			`if [ "$(< "$patch" wc -l)" -gt "0" ]; then`
			`cat "$patch"`
			`ret=1`
			`else`
			`rm "$patch"`
			`fi`
Add unreachable.spatch coccinelle recipe and run it in precheck CI phase 2018-11-08 10:38:46 -05:00			`done`

Revert to patch generating check-cocci script The coccinelle and util/update_copyright script have different idea about how the whitespace should look like. Revert the script to the previous version, so it doesn't mangle the files in place, and deal with just whitespace changes. 2019-07-16 10:50:09 -04:00			`exit $ret`