summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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.