about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--mach/Makefile3
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