diff options
Diffstat (limited to 'debian/patches/0010-Makeconf-handle-the-task_notify-protocol.patch')
| -rw-r--r-- | debian/patches/0010-Makeconf-handle-the-task_notify-protocol.patch | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/debian/patches/0010-Makeconf-handle-the-task_notify-protocol.patch b/debian/patches/0010-Makeconf-handle-the-task_notify-protocol.patch deleted file mode 100644 index 62020efb..00000000 --- a/debian/patches/0010-Makeconf-handle-the-task_notify-protocol.patch +++ /dev/null @@ -1,25 +0,0 @@ -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 - |