diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2013-05-15 14:47:32 +0100 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-08-21 10:39:20 +0100 |
| commit | 5c7cbadaccca8dbb47f2c42ab1b5a8afac9275e3 (patch) | |
| tree | 0f3fa769942ff67d46cb9cd6fd5dc412c6cb6656 /config | |
| parent | b0f69ec5c71de1248d915c193b57c43e786857dd (diff) | |
| download | xen-5c7cbadaccca8dbb47f2c42ab1b5a8afac9275e3.tar.gz xen-5c7cbadaccca8dbb47f2c42ab1b5a8afac9275e3.tar.bz2 xen-5c7cbadaccca8dbb47f2c42ab1b5a8afac9275e3.zip | |
tools: allow user to specify a system qemu-xen binary
If this option is given don't bother building qemu-xen ourselves. Likely to be
handy for distros who have an existing qemu package which they want to reuse.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Diffstat (limited to 'config')
| -rw-r--r-- | config/Tools.mk.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in index 5ec96231f7..e388e4289f 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -51,6 +51,7 @@ CONFIG_OVMF := @ovmf@ CONFIG_ROMBIOS := @rombios@ CONFIG_SEABIOS := @seabios@ CONFIG_QEMU_TRAD := @qemu_traditional@ +CONFIG_QEMU_XEN := @qemu_xen@ CONFIG_XEND := @xend@ CONFIG_BLKTAP1 := @blktap1@ |