summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/lint/lint-stable-019-header-files3
1 files changed, 1 insertions, 2 deletions
diff --git a/util/lint/lint-stable-019-header-files b/util/lint/lint-stable-019-header-files
index c839dc5fe8..6495d1535b 100755
--- a/util/lint/lint-stable-019-header-files
+++ b/util/lint/lint-stable-019-header-files
@@ -9,8 +9,7 @@ LC_ALL=C export LC_ALL
INCLUDED_DIRS='^src/'
EXCLUDED_FILES='src/include/kconfig.h'
-# TODO: Add rules when those patches are complete
-HEADER_FILES="k*config"
+HEADER_FILES="k\?config rules compiler"
# Use git grep if the code is in a git repo, otherwise use grep.
if [ -n "$(command -v git)" ] && \