diff options
Diffstat (limited to 'debian/patches/0001-Makeconf-handle-the-gnumach-protocol.patch')
| -rw-r--r-- | debian/patches/0001-Makeconf-handle-the-gnumach-protocol.patch | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/debian/patches/0001-Makeconf-handle-the-gnumach-protocol.patch b/debian/patches/0001-Makeconf-handle-the-gnumach-protocol.patch new file mode 100644 index 00000000..1602299a --- /dev/null +++ b/debian/patches/0001-Makeconf-handle-the-gnumach-protocol.patch @@ -0,0 +1,28 @@ +From 3c7bce4ae45aa108e3ca4037392755ca8282a928 Mon Sep 17 00:00:00 2001 +From: Justus Winter <4winter@informatik.uni-hamburg.de> +Date: Fri, 7 Nov 2014 11:44:22 +0100 +Subject: [PATCH hurd 01/14] Makeconf: handle the gnumach protocol + +* Makeconf (mach_defs_names): Add `gnumach'. +--- + Makeconf | 4 +++- + 1 file changed, 3 insertions(+), 1 deletion(-) + +diff --git a/Makeconf b/Makeconf +index 32eec13..f0d3fe3 100644 +--- a/Makeconf ++++ b/Makeconf +@@ -575,7 +575,9 @@ vpath %.defs $(top_srcdir)/hurd + # These we want to find in the libc include directory... + mach_defs_names = bootstrap exc mach mach4 \ + mach_host mach_port mach_timer_reply memory_object \ +- memory_object_default notify ++ memory_object_default notify \ ++ gnumach \ ++ + mach_debug_defs_names = mach_debug + device_defs_names = dev_forward device device_reply device_request + +-- +2.1.1 + |