From: Colin Vidal <colin@isc.org>
Date: Wed, 22 Oct 2025 07:16:52 +0000 (+0200)
Subject: new: dev: run individual spatch form check-cocci.sh
X-Git-Tag: v9.21.15~47
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a27275d2464bb81e384df5e4945e3f9eeb3c9b81;p=thirdparty%2Fbind9.git

new: dev: run individual spatch form check-cocci.sh

Add util/check-cocci.sh support for a command-line argument which is a
path to a spatch file. Running `util/check-cocci.sh` runs all the spatch
in `cocci` folder. Running `util/check-cocci.sh cocci/foo.spatch` only
run the spatch `cocci/foo.spatch`.

Any command line parameters after `--` are forwarded to `spatch`
command, for instance:

`util/check-cocci.sh -- --debug`
`util/check-cocci.sh cocci/foo.spatch -- --debug`

Will (1) run all spatch files in cocci/ with --debug spatch option and
(2) run only `cocci/foo.spatch` with --debug options.

Merge branch 'colin/check-cocci-individual-check' into 'main'

See merge request isc-projects/bind9!11096
---

a27275d2464bb81e384df5e4945e3f9eeb3c9b81