(server-interfaces): Removed notify and device_reply. For shlibs with eager binding...

diff --git a/mach/Makefile b/mach/Makefile
index dbb5da5b9086cc6efc98541755f8e6ecfb606c03..4595628e8ad0d424097e127875df16ec327703b7 100644 (file)
--- 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