diff options
Diffstat (limited to 'mach/Machrules')
| -rw-r--r-- | mach/Machrules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mach/Machrules b/mach/Machrules index 2cb3158bbd..47b74aa7b5 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) $(user-MIGFLAGS) $(MIGFLAGS-$*) \ +$(MIG) - /dev/null $(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) $(user-MIGFLAGS) $(MIGFLAGS-$*) -prefix __ \ +$(MIG) - /dev/null $(MIGFLAGS) $(MIGFLAGS-$*) -prefix __ \ -header $@ -server /dev/null -user /dev/null endef |