From 09ff61acc11cd495af5f4cba1f9a1f850c6745c9 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: Makeconf: handle the task_notify protocol

* Makeconf (mach_defs_names): Add `task_notify'.
---
 Makeconf | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makeconf')

diff --git a/Makeconf b/Makeconf
index f0d3fe35..5439913f 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
-- 
cgit v1.2.3