diff options
Diffstat (limited to 'debian/patches/0001-Makeconf-handle-the-task_notify-protocol.patch')
| -rw-r--r-- | debian/patches/0001-Makeconf-handle-the-task_notify-protocol.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/debian/patches/0001-Makeconf-handle-the-task_notify-protocol.patch b/debian/patches/0001-Makeconf-handle-the-task_notify-protocol.patch new file mode 100644 index 00000000..3861a30f --- /dev/null +++ b/debian/patches/0001-Makeconf-handle-the-task_notify-protocol.patch @@ -0,0 +1,25 @@ +From 27fe3ee065b446b07389f52de42820c5b417fab5 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 1/5] 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.3 + |