summaryrefslogtreecommitdiff
path: root/Makeconf
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-11-07 11:44:22 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-11-21 05:55:40 +0100
commit788407b951b162148a2e223da69ff2c16d8d05b4 (patch)
tree5699af014504b80d9889df1d9e5371e22b1e6e1a /Makeconf
parent5ee314b6c1ffd8b090ca6771f0896e080f7000ef (diff)
Makeconf: handle the gnumach protocol
* Makeconf (mach_defs_names): Add `gnumach'.
Diffstat (limited to 'Makeconf')
-rw-r--r--Makeconf4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makeconf b/Makeconf
index 32eec13e..f0d3fe35 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