diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2015-06-12 11:35:10 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-08-10 18:04:19 +0200 |
| commit | 368488ae295db84c8983a4fbf85dd3857095bdc6 (patch) | |
| tree | e494f2a1d71a83f207ea125035a78ab320afda7e /Makefile.inc | |
| parent | e10c82a23a9fc442b314f217a027c9712ed37b3a (diff) | |
board-status: expand minimized config to full size
Otherwise the later processing may fail. Keep minimized version as
config.short.txt for the user's benefit.
Change-Id: I1082ff68de85027d526266cdbf2073d22ce7f2e0
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/10525
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'Makefile.inc')
0 files changed, 0 insertions, 0 deletions