diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-12-02 12:10:31 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-20 10:37:00 +0100 |
| commit | 749dd44d30c86568b2ec7340ced6d849c0dc3a5e (patch) | |
| tree | 5a49b6979d9507f2cda5567e5372633a07705a23 /exec | |
| parent | a917896b61031af1d4b77b3da73e11af646057cf (diff) | |
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.
Diffstat (limited to 'exec')
| -rw-r--r-- | exec/main.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/exec/main.c b/exec/main.c index 41b1db49..c1f347cf 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)) || |