diff options
| author | Vladimir Serbinenko <phcoder@gmail.com> | 2015-05-30 22:30:13 +0200 |
|---|---|---|
| committer | Vladimir Serbinenko <phcoder@gmail.com> | 2015-06-02 21:01:19 +0200 |
| commit | 1cac2c9713a864fe90f40040cd1ede130983544c (patch) | |
| tree | f67afe78174e274ead6a05d2fdae9f38d849d85d /util/lint/lint-stable-006-board-name | |
| parent | 633352c74ac73567f07eb406e6a95d08b4771555 (diff) | |
Hide PLATFORM_USES_FSP1_1.
This should be an internal selectable variable rather than user-visible config.
Moreover the description is misleading.
This is a typical case of an option "Should it work?" where there is only one
right answer yet we still ask it.
Change-Id: Idc0ce2e1b9f89eddd034966cc877483d994ce0eb
Signed-off-by: Vladimir Serbinenko <phcoder@gmail.com>
Reviewed-on: http://review.coreboot.org/10378
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint/lint-stable-006-board-name')
0 files changed, 0 insertions, 0 deletions