seabios: run olddefconfig

We provided a base config file in 970f8de3e. To generate a full config
file, running olddefconfig is required.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Release-acked-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/tools/firmware/Makefile b/tools/firmware/Makefile
index 2ec20f81e620d6ba360763256157c3d3fa3f857a..8562f547bca813ca56b10816fce77eb095e7bf20 100644 (file)
--- a/tools/firmware/Makefile
+++ b/tools/firmware/Makefile
@@ -22,6 +22,7 @@ ovmf-dir:
 seabios-dir:
        GIT=$(GIT) $(XEN_ROOT)/scripts/git-checkout.sh $(SEABIOS_UPSTREAM_URL) $(SEABIOS_UPSTREAM_REVISION) seabios-dir
        cp seabios-config seabios-dir/.config;
+       $(MAKE) -C seabios-dir olddefconfig
 
 .PHONY: all
 all: $(SUBDIRS-y)