New patch to review for coreboot: build system: add dependencies for SeaBIOS output

[Patrick Georgi]

Patrick Georgi ([e-mail]) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/12577

-gerrit

commit 44228787f8d2c83cc2bfecd0b165736671674ff9
Author: Patrick Georgi 
Date:   Mon Nov 30 20:00:33 2015 +0100

build system: add dependencies for SeaBIOS output

Change-Id: I7b9f1574f6d487c0a6e5c9095c25ee973a96fa89
    Signed-off-by: Patrick Georgi 
---
 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)" \