[coreboot-gerrit] Patch merged into coreboot/master: build system: add dependencies for SeaBIOS output

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 4013469c507847d48e891c16b92f4556a2f6b76f
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Mon Nov 30 20:00:33 2015 +0100

    build system: add dependencies for SeaBIOS output
    
    Change-Id: I7b9f1574f6d487c0a6e5c9095c25ee973a96fa89
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Reviewed-on: https://review.coreboot.org/12577
    Reviewed-by: Timothy Pearson <tpearson at raptorengineeringinc.com>
    Tested-by: Raptor Engineering Automated Test Stand <noreply at raptorengineeringinc.com>
    Reviewed-by: Martin Roth <martinroth at google.com>
    Tested-by: build bot (Jenkins)


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

-gerrit