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

Justus Winter, le Mon 02 Dec 2013 18:01:46 +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. > > * pfinet/main.c:

[PATCH 6/7] pfinet: 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. * pfinet/main.c: Include the mig-generated server headers. --- pfinet/main.c | 11 +++