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

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.

[PATCH 4/7] 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 +++---