From 2e52dff41fcf176107a6396cacd03de79390b247 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Sun, 28 Jan 2018 19:38:09 +0100 Subject: 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. --- mach/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mach') 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 -- cgit v1.2.3