xen: disable stubdom

Signed-off-by: Jürgen Buchmüller <pullmoll@t-online.de>
This commit is contained in:
Jürgen Buchmüller 2018-09-23 05:08:28 +02:00
parent 1dc190f792
commit 79dde8f6a8
No known key found for this signature in database
GPG Key ID: 6764EC32352D0647
1 changed files with 2 additions and 1 deletions

View File

@ -26,7 +26,8 @@ checksum="
skip_extraction="ipxe-git-${_git_tag_ipxe}.tar.gz"
build_options="stubdom"
build_options_default="stubdom"
# Currently fails to build for unknown reasons
# build_options_default="stubdom"
desc_option_stubdom="Build xen with stubdom"
if [ "$build_option_stubdom" ]; then