aboutsummaryrefslogtreecommitdiff
path: root/mach/Machrules
diff options
context:
space:
mode:
Diffstat (limited to 'mach/Machrules')
-rw-r--r--mach/Machrules4
1 files changed, 2 insertions, 2 deletions
diff --git a/mach/Machrules b/mach/Machrules
index 4bde0fe8b4..2cb3158bbd 100644
--- a/mach/Machrules
+++ b/mach/Machrules
@@ -149,14 +149,14 @@ $(objpfx)%.uh:; $(mig.uh)
define mig.uh
$(make-target-directory)
$(include-%.defs) | \
-$(MIG) - /dev/null $(MIGFLAGS) \
+$(MIG) - /dev/null $(MIGFLAGS) $(user-MIGFLAGS) $(MIGFLAGS-$*) \
-header $@ -server /dev/null -user /dev/null
endef
$(objpfx)%.__h:; $(mig.__h)
define mig.__h
$(make-target-directory)
$(include-%.defs) | \
-$(MIG) - /dev/null $(MIGFLAGS) -prefix __ \
+$(MIG) - /dev/null $(MIGFLAGS) $(user-MIGFLAGS) $(MIGFLAGS-$*) -prefix __ \
-header $@ -server /dev/null -user /dev/null
endef