about summary refs log tree commit diff
path: root/mach
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2018-01-28 19:38:09 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2018-01-28 19:38:29 +0100
commit2e52dff41fcf176107a6396cacd03de79390b247 (patch)
tree3d0d59bcb02cb2e16ed78f7d8854e4f6fc316186 /mach
parent625ba81ef5ed7b65269f88c5d85d4d9c0380c685 (diff)
downloadglibc-2e52dff41fcf176107a6396cacd03de79390b247.tar.gz
glibc-2e52dff41fcf176107a6396cacd03de79390b247.tar.xz
glibc-2e52dff41fcf176107a6396cacd03de79390b247.zip
hurd: Build stubs for new gnumach.defs
* mach/Makefile (user-interfaces): Add mach/gnumach.
* sysdeps/mach/configure.ac (mach_interface_list): Add gnumach.
* sysdeps/mach/configure (mach_interface_list): Regenerate.
Diffstat (limited to 'mach')
-rw-r--r--mach/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/mach/Makefile b/mach/Makefile
index 50047c2fd8..0ef6e1696d 100644
--- a/mach/Makefile
+++ b/mach/Makefile
@@ -116,7 +116,7 @@ ifndef mach-shortcuts
 # $(mach-shortcuts) will be set, and that will change how
 # mach_interface.defs is processed: it will get the -D flags below.
 user-interfaces := $(filter-out $(mach-interface-list:%=mach/%) \
-				mach/mach_port mach/mach_host mach/mach4 \
+				mach/mach_port mach/mach_host mach/mach4 mach/gnumach \
 				device/device_request,\
 				$(user-interfaces))
 endif