diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-07 11:47:09 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-12-10 13:35:17 +0100 |
| commit | 09ff61acc11cd495af5f4cba1f9a1f850c6745c9 (patch) | |
| tree | 945c835e8c172164cc0e7b6d9a6eec19675257d0 /Makeconf | |
| parent | dd0317e49cf33671da3d6b1b17b12f7fa097756e (diff) | |
Makeconf: handle the task_notify protocol
* Makeconf (mach_defs_names): Add `task_notify'.
Diffstat (limited to 'Makeconf')
| -rw-r--r-- | Makeconf | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -577,6 +577,7 @@ mach_defs_names = bootstrap exc mach mach4 \ mach_host mach_port mach_timer_reply memory_object \ memory_object_default notify \ gnumach \ + task_notify \ mach_debug_defs_names = mach_debug device_defs_names = dev_forward device device_reply device_request |