[hurd] 07/21: exec: 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 749dd44d30c86568b2ec7340ced6d849c0dc3a5e
Author: Justus Winter <address@hidden>
Date:   Mon Dec 2 12:10:31 2013 +0100

    exec: 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.
    
    * exec/main.c: Include the mig-generated server headers.
---
 exec/main.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/exec/main.c b/exec/main.c
index 41b1db4..c1f347c 100644
--- a/exec/main.c
+++ b/exec/main.c
@@ -46,12 +46,12 @@ struct trivfs_control *fsys;
 char **save_argv;
 
 
+#include "exec_S.h"
+#include "exec_startup_S.h"
+
 static int
 exec_demuxer (mach_msg_header_t *inp, mach_msg_header_t *outp)
 {
-  mig_routine_t exec_server_routine (mach_msg_header_t *);
-  mig_routine_t exec_startup_server_routine (mach_msg_header_t *);
-
   mig_routine_t routine;
   if ((routine = exec_server_routine (inp)) ||
       (routine = NULL, trivfs_demuxer (inp, outp)) ||

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