summary refs log tree commit diff
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