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

2014-01-19 Thread Samuel Thibault
Justus Winter, le Mon 02 Dec 2013 18:01:45 +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. > > * proc/main.c: I

[PATCH 5/7] proc: include the mig-generated server headers in main.c

2013-12-02 Thread Justus Winter
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 +--