(server-interfaces): Removed notify and device_reply. For shlibs with eager binding...
authorRoland McGrath <roland@gnu.org>
Tue, 30 May 1995 19:52:01 +0000 (19:52 +0000)
committerRoland McGrath <roland@gnu.org>
Tue, 30 May 1995 19:52:01 +0000 (19:52 +0000)
mach/Makefile

index dbb5da5..4595628 100644 (file)
@@ -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