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 /src/mainboard/google/chell/chromeos.c | |
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 'src/mainboard/google/chell/chromeos.c')
0 files changed, 0 insertions, 0 deletions