aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 459037457..f13d125f1 100644
--- a/Makefile
+++ b/Makefile
@@ -279,11 +279,11 @@ configs: kconf
bin/syz-kconf -config dashboard/config/linux/main.yml -sourcedir $(SOURCEDIR)
tidy: descriptions
- clang-tidy -quiet -header-filter=executor/.* -warnings-as-errors=* \
+ clang-tidy -quiet -header-filter=executor/[^_].* -warnings-as-errors=* \
-checks=-*,misc-definitions-in-headers,bugprone-macro-parentheses,clang-analyzer-*,-clang-analyzer-security.insecureAPI*,-clang-analyzer-optin.performance* \
-extra-arg=-DGOOS_$(TARGETOS)=1 -extra-arg=-DGOARCH_$(TARGETARCH)=1 \
-extra-arg=-DHOSTGOOS_$(HOSTOS)=1 -extra-arg=-DGIT_REVISION=\"$(REV)\" \
- --extra-arg=-I. --extra-arg=-Ivendor \
+ --extra-arg=-I. --extra-arg=-Iexecutor/_include \
executor/*.cc
ifdef CI