aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorFabio Fantoni <fabio.fantoni@m2r.biz>2013-09-05 12:40:01 +0200
committerIan Campbell <ian.campbell@citrix.com>2013-09-09 14:48:51 +0100
commit906677d6411c3dc579e07967d0137a12392ff314 (patch)
tree677e839e210b259b38c4adc869d395da447e3d54 /config
parent4d10a505c1eb6feb85292ab944c18e28f5583294 (diff)
downloadxen-906677d6411c3dc579e07967d0137a12392ff314.tar.gz
tools: allow user to specify a system seabios binary
If this option is given don't bother building seabios ourselves. Likely to be handy for distros who have an existing seabios package which they want to reuse. Signed-off-by: Fabio Fantoni <fabio.fantoni@m2r.biz> Acked-by: Ian Campbell <ian.campbell@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 e388e4289f..67f57824cf 100644
--- a/config/Tools.mk.in
+++ b/config/Tools.mk.in
@@ -23,6 +23,7 @@ LD86 := @LD86@
BCC := @BCC@
IASL := @IASL@
FETCHER := @FETCHER@
+SEABIOS_PATH := @seabios_path@
# Extra folder for libs/includes
PREPEND_INCLUDES := @PREPEND_INCLUDES@