Re: [PATCH 4/7] exec: include the mig-generated server headers in main.c

[Samuel Thibault]

Justus Winter, le Mon 02 Dec 2013 18:01:44 +0100, a écrit :
> 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.

Ack.

> * 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)) ||
> -- 
> 1.7.10.4
> 
> 

-- 
Samuel
<y> la vraie vie, c'est quand le prompt passe de $ à #