diff options
author | Patrick Georgi <pgeorgi@chromium.org> | 2015-11-30 20:00:33 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2015-11-30 21:21:41 +0100 |
commit | 4013469c507847d48e891c16b92f4556a2f6b76f (patch) | |
tree | c414737b12c0dd97d641946ee8ea69bad01dd35d /Makefile.inc | |
parent | 309303884cc755f94aba731ad1821f49a3ea3899 (diff) |
build system: add dependencies for SeaBIOS output
Change-Id: I7b9f1574f6d487c0a6e5c9095c25ee973a96fa89
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/12577
Reviewed-by: Timothy Pearson <tpearson@raptorengineeringinc.com>
Tested-by: Raptor Engineering Automated Test Stand <noreply@raptorengineeringinc.com>
Reviewed-by: Martin Roth <martinroth@google.com>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'Makefile.inc')
0 files changed, 0 insertions, 0 deletions