diff options
| author | Roland McGrath <roland@gnu.org> | 2002-02-07 03:52:18 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 2002-02-07 03:52:18 +0000 |
| commit | fb190a0440e589117988d825dbcbc12c415a2fa9 (patch) | |
| tree | 20a94af64d223f4338cc665e012e58fdf64e4173 /mach | |
| parent | 37fb108426bce55e1c896d3f9f0512b7d4ef4e3b (diff) | |
* sysdeps/mach/configure.in: New file.
* sysdeps/mach/configure: New generated file.
* mach/Makefile (user-interfaces): Remove default_pager_helper.
It has never been used by anything.
Diffstat (limited to 'mach')
| -rw-r--r-- | mach/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/mach/Makefile b/mach/Makefile index ef6a6105d6..f13c285fd9 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -1,4 +1,5 @@ -# Copyright (C) 1991,92,93,94,95,96,97,98,2001 Free Software Foundation, Inc. +# Copyright (C) 1991,92,93,94,95,96,97,98,2001,02 +# Free Software Foundation, Inc. # This file is part of the GNU C Library. # The GNU C Library is free software; you can redistribute it and/or @@ -42,7 +43,7 @@ user-interfaces := $(addprefix mach/,mach_interface mach_port mach_host \ memory_object_user \ memory_object_default \ exc mach4 \ - default_pager default_pager_helper \ + default_pager \ )\ $(addprefix device/,device device_request) # We produce mach_interface.h from mach.defs because there is already a |