[coreboot-gerrit] Patch merged into coreboot/master: build system: Build Chrome EC firmware on request

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit e995dad2e1088e6895c01055997249bd2aa0d7ad
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Mon Feb 1 15:26:26 2016 +0100

    build system: Build Chrome EC firmware on request
    
    With the Chrome EC's "board" name set in Kconfig, the build system will
    build and add the EC firmware, too. Available for the EC and the USB
    PD controller.
    
    Change-Id: I017d3a44d6ab8a540fcd198b4b09c35e4b98a8cf
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Reviewed-on: https://review.coreboot.org/13547
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>


See https://review.coreboot.org/13547 for details.

-gerrit