diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-30 13:02:29 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-30 13:02:29 +0200 |
| commit | d12207fb5a8cef131f262878f98da923af1f8fea (patch) | |
| tree | f75145e1171f846407d46a15b88ad35a3440ae35 /linux/dev/glue | |
| parent | 1a9af211b3f0fb93611e6795ce66576b2ab230c8 (diff) | |
Install the mach_debug header files
The task_set_name RPC introduced in 877a319c changed
include/mach/gnumach.defs to include mach_debug/mach_debug_types.defs.
Previously though, the debug headers were not installed.
* Makefrag.am: Install the mach_debug header files.
Diffstat (limited to 'linux/dev/glue')
0 files changed, 0 insertions, 0 deletions