Re: [PATCH v4 11/12] cocci: run against a generated ALL.cocci

> The preceding commits to make the "coccicheck" target incremental made
> it slower in some cases. As an optimization let's not have the
> many=many mapping of <*.cocci>=<*.[ch]>, but instead concat the
> <*.cocci> into an ALL.cocci, and then run one-to-many
> ALL.cocci=<*.[ch]>.

> @@ -3252,7 +3281,11 @@ $(COCCI_TEST_RES_GEN): .build/contrib/coccinelle/tests/%.res : contrib/coccinell
>  coccicheck-test: $(COCCI_TEST_RES_GEN)
>  
>  coccicheck: coccicheck-test
> +ifdef SPATCH_CONCAT_COCCI
> +coccicheck: contrib/coccinelle/ALL.cocci.patch
> +else
>  coccicheck: $(COCCICHECK_PATCHES)
> +endif
>  
>  # See contrib/coccinelle/README
>  coccicheck-pending: coccicheck-test
> @@ -3527,6 +3560,7 @@ cocciclean:
>  	$(RM) -r .build/contrib/coccinelle
>  	$(RM) $(COCCICHECK_PATCHES)
>  	$(RM) $(COCCICHECK_PATCHES_PENDING)
> +	$(RM) $(COCCI_GEN_ALL)