[coreboot-gerrit] Patch merged into coreboot/master: what-jenkins-does: Add building chromeos configurations

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 1c487048a796ae8b5c45b0ee2a3e4aa8d63dabe8
Author: Patrick Georgi <pgeorgi at google.com>
Date:   Fri Jul 31 16:40:05 2015 +0200

    what-jenkins-does: Add building chromeos configurations
    
    This prevents us from inadvertedly breaking Chrome OS' configurations.
    They're built in addition to the normal configurations for each boards, to
    accomodate all use cases on these devices.
    
    Change-Id: I772a47dca8815f47c12f6fd4405ae28c7c997aa8
    Signed-off-by: Patrick Georgi <pgeorgi at google.com>
    Reviewed-on: http://review.coreboot.org/11104
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>
    Tested-by: build bot (Jenkins)


See http://review.coreboot.org/11104 for details.

-gerrit