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 /xen/grant.h | |
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 'xen/grant.h')
0 files changed, 0 insertions, 0 deletions