diff options
| -rw-r--r-- | mach/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mach/Makefile b/mach/Makefile index dbb5da5b90..4595628e8a 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -42,9 +42,10 @@ user-interfaces := $(addprefix mach/,mach_interface mach_port mach_host \ memory_object_user \ memory_object_default \ exc mach4 \ + default_pager default_pager_helper \ )\ $(addprefix device/,device device_request) -server-interfaces := device/device_reply mach/exc mach/notify +server-interfaces := mach/exc tests := hello # It is important that we do not use the wildcard function to expand # `err_*.sub'. Leaving the wildcard allows Make-dist to find all matching |