diff options
| author | Martin Roth <martinroth@google.com> | 2017-03-24 08:51:51 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2017-03-27 05:53:57 +0200 |
| commit | aa206478cbf1aff3ec574f5b91f2f24e96a56fee (patch) | |
| tree | 5b8898d66720b2a341fdc53ac466ab0cd89a6241 /util/lint/lint-000-license-headers | |
| parent | 5029a1668e0ca99ac64210967e22c971b0395efa (diff) | |
util/lint: Show an error if a symbol is created in two choice blocks
Kconfig shows a warning about this, but we want to catch it earlier
and halt the build.
Change-Id: I0acce1d40a6ca2b212c638bdb1ec65de5bd4d726
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/18970
Tested-by: build bot (Jenkins)
Reviewed-by: Subrata Banik <subrata.banik@intel.com>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'util/lint/lint-000-license-headers')
0 files changed, 0 insertions, 0 deletions