diff options
| author | Martin Roth <martinroth@google.com> | 2016-11-24 13:16:28 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-12-09 00:35:16 +0100 |
| commit | 21c99af0c82fc8fd00b91e8bea6a454f0cd251ac (patch) | |
| tree | 55c55f12128b91d36f52e0fd7e48ee64fbd1b965 /util/lint/lint-000-license-headers | |
| parent | 7a128cb9c394837c67b63705f048e715755738de (diff) | |
util/lint: Add check to verify saved configs are miniconfigs
Change-Id: Ifc5ec645dd27663c1b1fde9ff16d48534606a554
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/17600
Reviewed-by: Nico Huber <nico.h@gmx.de>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'util/lint/lint-000-license-headers')
0 files changed, 0 insertions, 0 deletions