diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2014-05-17 21:50:06 +0200 |
|---|---|---|
| committer | Kyösti Mälkki <kyosti.malkki@gmail.com> | 2014-05-19 14:56:52 +0200 |
| commit | 246234fecb439cc7c9cee6616fe1b33c4d37a582 (patch) | |
| tree | 7bed70dea8f668772c62b11b4eef82dcde03bba0 /util/lint/lint-stable-003-whitespace | |
| parent | c86762657dc7013a56b1d281286789dae17ad936 (diff) | |
abuild: Only build boards with Kconfig
We have dupes in the tree for aliases,
board variants and the like,
for board-status reporting purposes.
But we don't need to build all of them.
Change-Id: Ic1c6415568800350bdc0db97471e3875d9eac98c
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/5776
Tested-by: build bot (Jenkins)
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Diffstat (limited to 'util/lint/lint-stable-003-whitespace')
0 files changed, 0 insertions, 0 deletions