diff options
| author | Thomas Bushnell, BSG <thomas@gnu.org> | 1996-08-29 19:45:04 +0000 |
|---|---|---|
| committer | Thomas Bushnell, BSG <thomas@gnu.org> | 1996-08-29 19:45:04 +0000 |
| commit | bfb826224b971666d5e9f9ce3b04c1cfbf839258 (patch) | |
| tree | 76f3f72ff44f276feb1c4151df95bf55eea1310e /mach/Machrules | |
| parent | b77409e605ccdebd4d6d9d5041db632bcd90cfdf (diff) | |
*** empty log message ***
* mach/Makefile (MIGFLAGS-mach/mach4): Define variable.
mach/Machrules (mig.uh, mig.__h): Include $(user-MIGFLAGS) and
$(MIGFLAGS-$*) here too, as well as in the code-generating MiG calls.
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 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 |