diff options
author | Martin Roth <martinroth@google.com> | 2016-11-30 10:29:39 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-12-12 18:07:27 +0100 |
commit | 1c9c4b8db8ee791d124638b7381e85bf4298f0f5 (patch) | |
tree | 88446e116e74ebd6f812fec80dba754046c4c88a /util/lint/kconfig_lint | |
parent | 00cbc7f72fee7361847657ef3ffc3d5ac223b537 (diff) |
util/lint: add check for auto-included headers
Since we've removed them from the tree, add a check to keep them out.
Change-Id: I2995da765fee8796a297963d54a1c34f56376efe
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/17658
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint/kconfig_lint')
0 files changed, 0 insertions, 0 deletions