summaryrefslogtreecommitdiff
path: root/mach/Machrules
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1992-10-26 22:59:12 +0000
committerRoland McGrath <roland@gnu.org>1992-10-26 22:59:12 +0000
commitb8bba8c48e87ac07eaea07f746eddbabed027769 (patch)
tree210bce134c10f281d7a1f0c98f3da3a2627288af /mach/Machrules
parent9e91052d1fb96d60add1009e68e35b3d6c5de69a (diff)
Formerly ../mach/Machrules.~12~
Diffstat (limited to 'mach/Machrules')
-rw-r--r--mach/Machrules3
1 files changed, 2 insertions, 1 deletions
diff --git a/mach/Machrules b/mach/Machrules
index 184987a468..9c04a75d5e 100644
--- a/mach/Machrules
+++ b/mach/Machrules
@@ -66,7 +66,8 @@ endif
echo 'endef' ;\
echo '$*-calls := $$(subst $$(nl), ,$$($*-calls))' ;\
echo '$$($*-calls:%=_\%%.c): $*.defs' ;\
- echo ' $$(MIG) $$< $$(MIGFLAGS) -prefix __ -i ./__' \
+ echo ' $$(MIG) $$< $$(MIGFLAGS) -prefix __ -i ./__' \\ ;\
+ echo ' -server /dev/null -user /dev/null -header /dev/null' \
) > $@-new
mv $@-new $@
vpath Machrules ../mach # Find ourselves.