diff options
| author | Martin Roth <martinroth@google.com> | 2016-09-30 15:51:32 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-10-03 22:05:37 +0200 |
| commit | fa95625867fa1f373e8c5d8ec160a65e50a3d5c2 (patch) | |
| tree | 6262a95d63f90374ec5bb6a0cd25f1f9f9dc3f54 /src/include/device/pci.h | |
| parent | 3d6db6f0fac9efba4cca8652c4dd1d50f9af0372 (diff) | |
util/lint/kconfig_lint: Check default types
The type of the default value wasn't being checked to make sure that it
matched the type of the Kconfig symbol.
This makes sure that the symbol is being set to either a reasonable
looking value or to another Kconfig symbol.
Change-Id: Ia01bd2d8b387f319d29f0a005d55cb8e20cd3853
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/16839
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/include/device/pci.h')
0 files changed, 0 insertions, 0 deletions