[PATCH v6 18/18] Makefile: skip reftable library for Coccinelle
- From
Patrick Steinhardt <ps@pks.im>
- Date
- Feb 18, 2025, 09:20 UTC
- Message-ID
- <20250218-pks-reftable-drop-git-compat-util-v6-18-8c1f39fb4c02@pks.im>
- In-Reply-To
- <20250218-pks-reftable-drop-git-compat-util-v6-0-8c1f39fb4c02@pks.im>
The reftable library does not use any of the common helpers that the Git project has. Consequently, most of the rules that we have in Coccinelle do not apply to the library at all and may even generate false positives when a pattern can be converted to use a Git helper function.
Exclude reftable library sources from being checked by Coccinelle to avoid such false positives.
Signed-off-by: Patrick Steinhardt <ps@pks.im> --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile index cd0806e1e69..83f1df5502b 100644 --- a/Makefile +++ b/Makefile @@ -955,7 +955,7 @@ FOUND_SOURCE_FILES := $(filter-out $(GENERATED_H),$(shell $(SOURCES_CMD))) FOUND_C_SOURCES = $(filter %.c,$(FOUND_SOURCE_FILES)) FOUND_H_SOURCES = $(filter %.h,$(FOUND_SOURCE_FILES)) -COCCI_SOURCES = $(filter-out $(THIRD_PARTY_SOURCES),$(FOUND_C_SOURCES)) +COCCI_SOURCES = $(filter-out $(THIRD_PARTY_SOURCES) reftable/%,$(FOUND_C_SOURCES)) LIB_H = $(FOUND_H_SOURCES)
-- 2.48.1.666.gff9fcf71b7.dirty