diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-05-07 00:48:19 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-05-07 00:48:19 +0200 |
commit | ab0a56bdec90c01191e2b31ea050bb6032e8f5a9 (patch) | |
tree | f689aea08ff98847ee426397f1fe4036cc92c261 /mach | |
parent | 58695b88a9deaecbcf7794760cc333177edaa2b4 (diff) |
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.
Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Diffstat (limited to 'mach')
-rw-r--r-- | mach/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mach/Makefile b/mach/Makefile index c804fa30c4..5131e26009 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -111,7 +111,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 |