diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-05-07 00:49:03 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-05-07 00:49:03 +0200 |
| commit | d412b7b8c50c952596f23f8b2df6ba13c2320c64 (patch) | |
| tree | ae63026407339726bb3abdf0df2b29a7efedaa92 /mach/Makefile | |
| parent | 819d9e83013299e67fd501289ec6500c4c55ebd1 (diff) | |
| parent | 695c56a253bde67ea0959ef75c941a51b4df7eb6 (diff) | |
Merge commit 'refs/top-bases/tschwinge/Roger_Whittaker' into tschwinge/Roger_Whittakerglibc-2.19-hurd+libpthread-20150515
Diffstat (limited to 'mach/Makefile')
| -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 |