[coreboot-gerrit] New patch to review for coreboot: build system: add dependencies for SeaBIOS output

[Patrick Georgi (pgeorgi@google.com)]

Patrick Georgi (pgeorgi at google.com) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/12577

-gerrit

commit 44228787f8d2c83cc2bfecd0b165736671674ff9
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>
---
 payloads/external/Makefile.inc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/payloads/external/Makefile.inc b/payloads/external/Makefile.inc
index eedee05..26bb52e 100644
--- a/payloads/external/Makefile.inc
+++ b/payloads/external/Makefile.inc
@@ -56,6 +56,9 @@ seabios:
 			CONFIG_TTYS0_BASE=$(CONFIG_TTYS0_BASE) \
 			CONFIG_SEABIOS_MALLOC_UPPERMEMORY=$(CONFIG_SEABIOS_MALLOC_UPPERMEMORY)
 
+payloads/external/SeaBIOS/seabios/out/vgabios.bin: seabios
+payloads/external/SeaBIOS/seabios/out/bios.bin.elf: seabios
+
 filo:
 	$(MAKE) -C payloads/external/FILO -f Makefile.inc \
 			HOSTCC="$(HOSTCC)" \