From 0a5370ee1f9808fbb16bb03d7f349921cf73a2d4 Mon Sep 17 00:00:00 2001
From: Wei Liu <wei.liu2@citrix.com>
Date: Wed, 26 Apr 2017 12:13:34 +0100
Subject: [PATCH] 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>
---
 tools/firmware/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/firmware/Makefile b/tools/firmware/Makefile
index 2ec20f81e6..8562f547bc 100644
--- 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)
-- 
2.39.5