diff options
| author | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2012-04-03 11:22:15 -0700 |
|---|---|---|
| committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2012-04-04 00:36:27 +0200 |
| commit | f17789c4ff8faf0340946f8ba6c3b35c02e36cee (patch) | |
| tree | 96ced49ff590b0c368413131c61b88e26298906c /util | |
| parent | ea37a21acf22a3c63c265e127584b65722f145b5 (diff) | |
Don't unconditionally show ChromeOS options
Google ChromeOS specific options were shown in the main menu
unconditionally, even on non-ChromeOS devices. Instead, hide
these options unless CONFIG_CHROMEOS is set, and also put them
in a separate menu.
Change-Id: I75f533ed5046d6df4f7d959a0ca4c2441340ef2f
Signed-off-by: Stefan Reinauer <reinauer@google.com>
Reviewed-on: http://review.coreboot.org/848
Reviewed-by: Martin Roth <martin@se-eng.com>
Tested-by: build bot (Jenkins)
Reviewed-by: Mathias Krause <minipli@googlemail.com>
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions