aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorIan Campbell <ian.campbell@citrix.com>2013-10-29 11:39:50 +0000
committerIan Campbell <ian.campbell@citrix.com>2013-11-11 13:38:57 +0000
commit6b2029c9a1f6b4cd7585fd537d45233f8dde14b7 (patch)
tree230f3da799daba42b3bae836be8e4d3f0c87882a /config
parent871062d695f145e3511fcd8c5a5ab431f0b20dec (diff)
downloadxen-6b2029c9a1f6b4cd7585fd537d45233f8dde14b7.tar.gz
tools: support system supplied ovmf binary
Debian Jessie at least contains an ovmf package that includes /usr/share/ovmf/OVMF.fd. It's also possible that user may want to supply his/her own ovmf binary. Signed-off-by: Ian Campbell <ian.campbell@citrix.com> Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Diffstat (limited to 'config')
-rw-r--r--config/Tools.mk.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in
index 67f57824cf..d9d32398d8 100644
--- a/config/Tools.mk.in
+++ b/config/Tools.mk.in
@@ -24,6 +24,7 @@ BCC := @BCC@
IASL := @IASL@
FETCHER := @FETCHER@
SEABIOS_PATH := @seabios_path@
+OVMF_PATH := @ovmf_path@
# Extra folder for libs/includes
PREPEND_INCLUDES := @PREPEND_INCLUDES@