From: Wei Liu Date: Fri, 24 Aug 2018 10:54:04 +0000 (+0100) Subject: tools: building IPXE should be determined by CONFIG_IPXE X-Git-Tag: archive/raspbian/4.14.0+80-gd101b417b7-1+rpi1^2~63^2~3406 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=4be26bd61efdb8fbc39ab4528f1f3dea040b605f;p=xen.git tools: building IPXE should be determined by CONFIG_IPXE Signed-off-by: Wei Liu Reviewed-by: Roger Pau Monné Acked-by: Ian Jackson --- diff --git a/tools/firmware/Makefile b/tools/firmware/Makefile index ed1a1318f6..cf304fc578 100644 --- a/tools/firmware/Makefile +++ b/tools/firmware/Makefile @@ -15,7 +15,7 @@ SUBDIRS-$(CONFIG_OVMF) += ovmf-dir SUBDIRS-$(CONFIG_SEABIOS) += seabios-dir SUBDIRS-$(CONFIG_ROMBIOS) += rombios SUBDIRS-$(CONFIG_ROMBIOS) += vgabios -SUBDIRS-$(CONFIG_ROMBIOS) += etherboot +SUBDIRS-$(CONFIG_IPXE) += etherboot SUBDIRS-$(CONFIG_PV_SHIM) += xen-dir SUBDIRS-y += hvmloader