* debian/patches/acpi.diff: Introduce MIG variable so that it may be
overridden to <target>-mig.
---
debian/patches/acpi.diff | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/debian/patches/acpi.diff b/debian/patches/acpi.diff
index 8015a6e63..8e359b2c0 100644
--- a/debian/patches/acpi.diff
+++ b/debian/patches/acpi.diff
@@ -1,6 +1,6 @@
--- a/pci-userspace/src-gnu/Makefile.inc
+++ b/pci-userspace/src-gnu/Makefile.inc
-@@ -3,7 +3,7 @@
+@@ -3,8 +3,8 @@
PCIDIR:= ${.PARSEDIR}
.PATH: ${PCIDIR}
@@ -9,6 +9,7 @@
RUMPCOMP_USER_CPPFLAGS+=-I${PCIDIR} -I${DESTDIR}/usr/include
RUMPCOMP_CPPFLAGS+= -I${PCIDIR} -I${DESTDIR}/usr/include
CPPFLAGS+= -I${PCIDIR}
+ MIG=mig
@@ -16,3 +16,11 @@
-user mach_debugUser.c \
-server /dev/null \
@@ -17,7 +18,7 @@
+acpiUser.c:
+ echo '#include <hurd/acpi.defs>' \
+ | ${CC} -E -x c - -o - \
-+ | mig -cc cat - /dev/null -subrprefix __ \
++ | $(MIG) -cc cat - /dev/null -subrprefix __ \
+ -user acpiUser.c \
+ -server /dev/null \
+ -header acpi_U.h
--
2.39.2
