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 /pfinet/main.c | |
| 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 'pfinet/main.c')
0 files changed, 0 insertions, 0 deletions