diff options
| author | Martin Roth <martinroth@google.com> | 2016-10-03 23:00:04 +0200 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-10-03 23:13:09 +0200 |
| commit | a7d002708319dd976c1475f5e096bca4fd92fb8e (patch) | |
| tree | 5f4aadc00c9bbdc5cf73f0eb45f8d32ca2e2f191 /Makefile.inc | |
| parent | 6d6c00a50237dd8c9102fd24cb183ceda1aa90ac (diff) | |
Revert "util/lint/kconfig_lint: change warning levels and text"
This reverts commit dfdb0733a6a71b11d15006dafc13841e84fab7cd.
Change-Id: I91bf5e42f4ac241f544742ce161bae651f9f9947
Reviewed-on: https://review.coreboot.org/16868
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'Makefile.inc')
0 files changed, 0 insertions, 0 deletions