summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMiles Bader <miles@gnu.org>1995-05-05 13:53:44 +0000
committerMiles Bader <miles@gnu.org>1995-05-05 13:53:44 +0000
commit011353bddd4ae4d7a873395705286a596ddc4313 (patch)
treee9eb228c38333f0bc707ba3faabb5f5275f3e08e
parent1274a8edbbe68445ce5968a349258f85c7ecfe5d (diff)
Make MIGCOMUFLAGS & <target>-MIGCOMUFLAGS actually work.
-rw-r--r--Makeconf3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makeconf b/Makeconf
index 8536eea7..06595cb4 100644
--- a/Makeconf
+++ b/Makeconf
@@ -232,7 +232,8 @@ ht := $(srcdir)/hurd/hurd_types.defs
-user /dev/null -header /dev/null
%_U.h %User.c: %.defs
$(CPP) $(CPPFLAGS) $(MIGUFLAGS) $($*-MIGUFLAGS) $< \
- | $(MIGCOM) -user $*User.c -server /dev/null -header $*_U.h
+ | $(MIGCOM) $(MIGCOMUFLAGS) $($*-MIGCOMUFLAGS) \
+ -user $*User.c -server /dev/null -header $*_U.h
# Where to find .defs files.