blob: 62020efb9afbea9d1d121f513999e45b5b02fb1e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
From 3e0e1944d92c220ac5485604cccd175f4d3885c1 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Fri, 7 Nov 2014 11:47:09 +0100
Subject: [PATCH hurd 10/14] Makeconf: handle the task_notify protocol
* Makeconf (mach_defs_names): Add `task_notify'.
---
Makeconf | 1 +
1 file changed, 1 insertion(+)
diff --git a/Makeconf b/Makeconf
index f0d3fe3..5439913 100644
--- a/Makeconf
+++ b/Makeconf
@@ -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
--
2.1.1
|
