[hurd] 08/21: proc: include the mig-generated server headers in main.c

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script.

sthibault pushed a commit to branch upstream
in repository hurd.

commit ec5086e248d9c75bea7399a3e501ee48b14c047c
Author: Justus Winter <address@hidden>
Date:   Mon Dec 2 12:11:04 2013 +0100

    proc: include the mig-generated server headers in main.c
    
    GNU MIG recently gained support for emitting x_server_routine
    declarations in the generated server header file.  Using this
    declaration, the x_server_routine functions can be inlined into the
    demuxer function.
    
    * proc/main.c: Include the mig-generated server headers.
---
 proc/main.c | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/proc/main.c b/proc/main.c
index 5d6dc21..73742ed 100644
--- a/proc/main.c
+++ b/proc/main.c
@@ -34,15 +34,15 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 
02139, USA.  */
 
 const char *argp_program_version = STANDARD_HURD_VERSION (proc);
 
+#include "process_S.h"
+#include "notify_S.h"
+#include "../libports/interrupt_S.h"
+#include "proc_exc_S.h"
+
 int
 message_demuxer (mach_msg_header_t *inp,
                 mach_msg_header_t *outp)
 {
-  mig_routine_t process_server_routine (mach_msg_header_t *);
-  mig_routine_t notify_server_routine (mach_msg_header_t *);
-  mig_routine_t ports_interrupt_server_routine (mach_msg_header_t *);
-  mig_routine_t proc_exc_server_routine (mach_msg_header_t *);
-
   mig_routine_t routine;
   if ((routine = process_server_routine (inp)) ||
       (routine = notify_server_routine (inp)) ||

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-hurd/hurd.git