diff --git a/GNUmakefile b/GNUmakefile index b652f34caf1..39a7295efc5 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -56,6 +56,8 @@ lint: -c 1 \ -AT001 \ -AT002 \ + -AT006 \ + -AT007 \ -S001 \ -S002 \ -S003 \ @@ -73,6 +75,15 @@ lint: -S016 \ -S017 \ -S019 \ + -S021 \ + -S025 \ + -S026 \ + -S027 \ + -S028 \ + -S029 \ + -S030 \ + -V003 \ + -V006 \ ./$(PKG_NAME) tools: