Re: ab/coccicheck-incremental (was: What's cooking in git.git (Nov 2022, #01; Thu, 3))

>
> On Thu, Nov 03 2022, Taylor Blau wrote:
>
> > * ab/coccicheck-incremental (2022-11-02) 13 commits
> >  - spatchcache: add a ccache-alike for "spatch"
> >  - cocci: run against a generated ALL.cocci
> >  - cocci rules: remove <id>'s from rules that don't need them
> >  - Makefile: copy contrib/coccinelle/*.cocci to build/
> >  - cocci: optimistically use COMPUTE_HEADER_DEPENDENCIES
> >  - cocci: make "coccicheck" rule incremental
> >  - cocci: split off "--all-includes" from SPATCH_FLAGS
> >  - cocci: split off include-less "tests" from SPATCH_FLAGS
> >  - Makefile: split off SPATCH_BATCH_SIZE comment from "cocci" heading
> >  - Makefile: have "coccicheck" re-run if flags change
> >  - Makefile: add ability to TAB-complete cocci *.patch rules
> >  - cocci rules: remove unused "F" metavariable from pending rule
> >  - Makefile + shared.mak: rename and indent $(QUIET_SPATCH_T)
> >
> >  "make coccicheck" is time consuming. It has been made to run more
> >  incrementally.
> >
> >  Will merge to 'next'?
> >  source: <cover-v5-00.13-00000000000-20221101T222616Z-avarab@gmail.com>
>
> I think it's ready for that, the v5 having hopefully solved any last
> remaining nits / issues.