about summary refs log tree commit diff
path: root/mach
diff options
context:
space:
mode:
Diffstat (limited to 'mach')
-rw-r--r--mach/Machrules3
1 files changed, 2 insertions, 1 deletions
diff --git a/mach/Machrules b/mach/Machrules
index 4f9ec421ec..65411f493a 100644
--- a/mach/Machrules
+++ b/mach/Machrules
@@ -29,6 +29,7 @@
 # _S_rpcname.
 
 # Includers can also add to or modify `migdefines' to set MiG flags.
+# They can also set `migheaderpipe' to mangle the MiG header output.
 
 all:
 
@@ -176,7 +177,7 @@ $(patsubst %,$(objpfx)%.h,$(user-interfaces)): $(objpfx)%.h: $(objpfx)%.__h \
 							     $(objpfx)%.uh
 # The last line of foo.__h is "#endif _foo_user_".
 # The first two lines of foo.uh are "#ifndef _foo_user_"/"#define _foo_user_".
-	(sed -e '$$d' $<; sed -e '1,2d' $(word 2,$^)) > $@-new
+	(sed -e '$$d' $<; sed -e '1,2d' $(word 2,$^)) $(migheaderpipe) > $@-new
 	mv -f $@-new $@
 
 interface-routines := $(foreach if,$(user-interfaces),			\