*** empty log message ***

	* mach/Makefile (MIGFLAGS-mach/mach4): Define variable.
  	mach/Machrules (mig.uh, mig.__h): Include $(user-MIGFLAGS) and
 	$(MIGFLAGS-$*) here too, as well as in the code-generating MiG calls.

diff --git a/ChangeLog b/ChangeLog
index a1332fe..dbee7a6 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 Thu Aug 29 12:00:30 1996  Thomas Bushnell, n/BSG  <thomas@gnu.ai.mit.edu>
 
+       * mach/Makefile (MIGFLAGS-mach/mach4): Define variable.
+       mach/Machrules (mig.uh, mig.__h): Include $(user-MIGFLAGS) and
+       $(MIGFLAGS-$*) here too, as well as in the code-generating MiG calls. 
+       
        * hurd/hurdinline.c: Include "hurd.h" for function definitions too. 
        
        * stdio/fseek.c (fseek): Don't assume we know the file position;

diff --git a/mach/Machrules b/mach/Machrules
index 4bde0fe..2cb3158 100644 (file)
--- a/mach/Machrules
+++ b/mach/Machrules
@@ -149,14 +149,14 @@ $(objpfx)%.uh:; $(mig.uh)
 define mig.uh
 $(make-target-directory)
 $(include-%.defs) | \
-$(MIG) - /dev/null $(MIGFLAGS) \
+$(MIG) - /dev/null $(MIGFLAGS) $(user-MIGFLAGS) $(MIGFLAGS-$*) \
        -header $@ -server /dev/null -user /dev/null
 endef
 $(objpfx)%.__h:; $(mig.__h)
 define mig.__h
 $(make-target-directory)
 $(include-%.defs) | \
-$(MIG) - /dev/null $(MIGFLAGS) -prefix __ \
+$(MIG) - /dev/null $(MIGFLAGS) $(user-MIGFLAGS) $(MIGFLAGS-$*) -prefix __ \
        -header $@ -server /dev/null -user /dev/null
 endef
 

diff --git a/mach/Makefile b/mach/Makefile
index 31ec7e0..6d9e6b2 100644 (file)
--- a/mach/Makefile
+++ b/mach/Makefile
@@ -107,6 +107,9 @@ user-interfaces := $(filter-out mach/mach_interface \
                                $(user-interfaces))
 endif
 
+# For some reason, the calls in this file are `protected' by an ifdef.
+MIGFLAGS-mach/mach4=-DMACH_PCSAMPLE
+
 # Make the MiG stubs for $(mach-shortcuts) be CALL_rpc.
 migdefines += $(foreach call,$(mach-shortcuts),-D$(call)=$(call)_rpc)
 mach/mach_interface.uh mach/mach_host.uh mach/mach_port.uh: $(objpfx)mach-syscalls.mk