$NetBSD: patch-Makefile,v 1.1 2018/07/24 13:40:11 bouyer Exp $

--- Makefile.orig	2018-04-17 19:21:31.000000000 +0200
+++ Makefile	2018-04-23 16:17:25.000000000 +0200
@@ -61,9 +61,9 @@
 .PHONY: build-stubdom
 build-stubdom: mini-os-dir build-tools-public-headers
 	$(MAKE) -C stubdom build
-ifeq (x86_64,$(XEN_TARGET_ARCH))
-	XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom pv-grub
-endif
+#ifeq (x86_64,$(XEN_TARGET_ARCH))
+#	XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom pv-grub
+#endif
 
 .PHONY: build-docs
 build-docs:
@@ -129,9 +129,9 @@
 .PHONY: install-stubdom
 install-stubdom: mini-os-dir install-tools-public-headers
 	$(MAKE) -C stubdom install
-ifeq (x86_64,$(XEN_TARGET_ARCH))
-	XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom install-grub
-endif
+#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:
