diff options
author | Antonello Dettori <dev@dettori.io> | 2016-03-07 23:56:57 +0000 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-03-12 20:23:50 +0100 |
commit | 3aa91dc7be67ced7d0d5cad5bfe0fb497d40e3db (patch) | |
tree | 1669f0d93dc5dae39daa5b193d995deead94e535 /payloads/external/Makefile.inc | |
parent | d68e0476e9d8249c6cee28ca526d2e8818d703a4 (diff) |
payloads/seabios: Add "git revision" to the SeaBIOS version menu
Add an option to specify a git revision from which to build SeaBIOS.
Change-Id: Ifbf3b82e784f79395ab7cd07c5804f72928d7640
Signed-off-by: Antonello Dettori <dev@dettori.io>
Reviewed-on: https://review.coreboot.org/13937
Reviewed-by: Alexander Couzens <lynxis@fe80.eu>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'payloads/external/Makefile.inc')
-rw-r--r-- | payloads/external/Makefile.inc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/payloads/external/Makefile.inc b/payloads/external/Makefile.inc index bbad643868..3c20e13cdf 100644 --- a/payloads/external/Makefile.inc +++ b/payloads/external/Makefile.inc @@ -46,6 +46,8 @@ payloads/external/SeaBIOS/seabios/out/bios.bin.elf seabios: $(top)/$(DOTCONFIG) AS="$(AS_x86_32)" IASL="$(IASL)" \ CONFIG_SEABIOS_MASTER=$(CONFIG_SEABIOS_MASTER) \ CONFIG_SEABIOS_STABLE=$(CONFIG_SEABIOS_STABLE) \ + CONFIG_SEABIOS_REVISION=$(CONFIG_SEABIOS_REVISION) \ + CONFIG_SEABIOS_REVISION_ID=$(CONFIG_SEABIOS_REVISION_ID) \ CONFIG_PAYLOAD_CONFIGFILE=$(CONFIG_PAYLOAD_CONFIGFILE) \ CONFIG_SEABIOS_THREAD_OPTIONROMS=$(CONFIG_SEABIOS_THREAD_OPTIONROMS) \ CONFIG_SEABIOS_VGA_COREBOOT=$(CONFIG_SEABIOS_VGA_COREBOOT) \ |