diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-12-02 12:11:04 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-20 10:37:00 +0100 |
| commit | ec5086e248d9c75bea7399a3e501ee48b14c047c (patch) | |
| tree | fa5b57d3d68e367c91c616af38bc8a57ece4f42e /pfinet/main.c | |
| parent | 749dd44d30c86568b2ec7340ced6d849c0dc3a5e (diff) | |
proc: 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.
* proc/main.c: Include the mig-generated server headers.
Diffstat (limited to 'pfinet/main.c')
0 files changed, 0 insertions, 0 deletions