the following patch was just integrated into master: commit 21c99af0c82fc8fd00b91e8bea6a454f0cd251ac Author: Martin Roth martinroth@google.com Date: Thu Nov 24 13:16:28 2016 -0700
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)
See https://review.coreboot.org/17600 for details.
-gerrit