summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>2002-03-04 19:27:24 +0000
committerRoland McGrath <roland@gnu.org>2002-03-04 19:27:24 +0000
commitc531881c1c9503449b7bcb87d1a32df27422d8f3 (patch)
tree0a91e8afc8cf39f303feb5168a0fa2f6bd08917c
parent39cb83f93148a1bc4c4dfa46da62767f0b967d99 (diff)
2002-03-04 Roland McGrath <roland@frob.com>
* Makefile.in (%_interface.h %_server.c: %.srv): Pass -sheader switch to mig, not -header.
-rw-r--r--Makefile.in3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index f611c29..6302253 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -440,7 +440,8 @@ vpath configure $(srcdir)
# Building from foo.srv
%_interface.h %_server.c: %.srv
- $(MIG) $(MIGFLAGS) -header $*_interface.h -server $*_server.c -user /dev/null $<
+ $(MIG) $(MIGFLAGS) -sheader $*_interface.h -server $*_server.c \
+ -header /dev/null -user /dev/null $<
#
# Dependency generation