File xen.pvgrub-disable.patch of Package xen

From: Olaf Hering <olaf@aepfle.de>
Date: Mon, 7 May 2018 22:33:20 +0200
Subject: pvgrub disable

If pv-grub is disabled with --disable-pv-grub it will be build anyway.

Signed-off-by: Olaf Hering <olaf@aepfle.de>
---
 Makefile | 3 ---
 1 file changed, 3 deletions(-)

--- a/Makefile
+++ b/Makefile
@@ -127,27 +127,24 @@ docs: dist-docs
 
 .PHONY: install-xen
 install-xen:
 	$(MAKE) -C xen install
 
 .PHONY: install-tools
 install-tools: install-tools-public-headers
 	$(MAKE) -C tools install
 
 .PHONY: install-stubdom
 install-stubdom: mini-os-dir install-tools
 	$(MAKE) -C stubdom install
-ifeq (x86_64,$(XEN_TARGET_ARCH))
-	XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom install-grub
-endif
 
 .PHONY: tools/firmware/seabios-dir-force-update
 tools/firmware/seabios-dir-force-update:
 	$(MAKE) -C tools/firmware seabios-dir-force-update
 
 .PHONY: tools/firmware/ovmf-dir-force-update
 tools/firmware/ovmf-dir-force-update:
 	$(MAKE) -C tools/firmware ovmf-dir-force-update
 
 .PHONY: install-docs
 install-docs:
 	$(MAKE) -C docs install