diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-12-02 12:09:55 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-20 10:37:00 +0100 |
| commit | a917896b61031af1d4b77b3da73e11af646057cf (patch) | |
| tree | 08531cc53202119d10f0360790ee3ff240c0c10e /libthreads/GNUmakefile.old | |
| parent | 2a8c466336db734f9f271f041443fd2b790e3071 (diff) | |
libtrivfs: include the mig-generated server headers in demuxer.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.
* libtrivfs/demuxer.c: Include the mig-generated server headers.
Diffstat (limited to 'libthreads/GNUmakefile.old')
0 files changed, 0 insertions, 0 deletions