the following patch was just integrated into master:
commit 89b0a39450aa1e4d7d91f2bad7d2802833789e55
Author: Stefan Reinauer <[email protected]>
Date:   Tue Apr 3 11:22:15 2012 -0700

    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 <[email protected]>

Build-Tested: build bot (Jenkins) at Tue Apr  3 21:20:40 2012, giving +1
See http://review.coreboot.org/848 for details.

-gerrit

-- 
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot

Reply via email to