diff options
| author | Roland McGrath <roland@gnu.org> | 2000-10-29 07:58:01 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 2000-10-29 07:58:01 +0000 |
| commit | 5caa7b186e7d6f27960509034200b80fffba30d8 (patch) | |
| tree | e46c254e866ba8bbf3d3b05903428609d6d57ea3 /Makefile.in | |
| parent | e04a6ce82daf8cfd3813e081b5fc91913438222d (diff) | |
| download | gnumach-5caa7b186e7d6f27960509034200b80fffba30d8.tar.gz gnumach-5caa7b186e7d6f27960509034200b80fffba30d8.tar.bz2 gnumach-5caa7b186e7d6f27960509034200b80fffba30d8.zip | |
2000-10-29 Roland McGrath <roland@frob.com>
* i386/include/mach/proc_ops.h: Dead file removed.
* i386/include/mach/setjmp.h: Dead file removed.
* i386/include/mach/sa/sys/varargs.h: Dead file removed.
* include/mach/proc_ops.h: Dead file removed.
* Makefile.in (mach-headers): Remove proc_ops.h.
* i386/Makefrag (i386-installed-headers): Likewise.
(installed-headers): Don't touch this any more.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 39e3a3ee..54cb9cd5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -207,7 +207,7 @@ mach-headers= $(addprefix mach/, bootstrap.defs default_pager.defs \ host_info.h kern_return.h mach_param.h mach_types.h \ machine.h macro_help.h memory_object.h message.h mig_errors.h \ msg_type.h multiboot.h norma_special_ports.h notify.h \ - pc_sample.h policy.h port.h proc_ops.h processor_info.h \ + pc_sample.h policy.h port.h processor_info.h \ profil.h profilparam.h rpc.h std_types.h syscall_sw.h \ task_info.h task_special_ports.h thread_info.h \ thread_special_ports.h thread_status.h thread_switch.h \ |