diff options
| author | Roland McGrath <roland@gnu.org> | 1995-05-30 19:52:01 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1995-05-30 19:52:01 +0000 |
| commit | 4174072112e4e2b43cc65a5093a433b4270aed49 (patch) | |
| tree | 20ca34991648648914c40b1a03b7c5c07d0d0e88 /mach | |
| parent | 1577cd4796e747996426e60d35b55d17c60da9a7 (diff) | |
(server-interfaces): Removed notify and device_reply. For shlibs with eager binding, libmachuser.so must not refer to any functions not defined in libc.
Diffstat (limited to 'mach')
| -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 |