Re: Remove obsolete OpenBSD/MIPS support

2012-03-12 Thread Rainer Orth
Richard Sandiford writes: > Rainer Orth writes: >> I'm currently working on removing the obsolete Tru64 UNIX and IRIX >> ports. When IRIX is gone, the obsoleted OpenBSD/MIPS is the only >> remaining port that uses MIPS_DEBUGGING_INFO (which I plan to remove as >> a followup once IRIX is gone).

Re: Remove obsolete OpenBSD/MIPS support

2012-03-07 Thread Rainer Orth
Richard Sandiford writes: > Definitely. Thanks for saving me the legwork :-) It was both easy to do and a prerequisite for the MIPS_DEBUGGING_INFO removal :-) > There are also some SDB_OUTPUT_SOURCE_LINE references in mips.c and > mips.h that could go. Removing those is preapproved if you wan

Re: Remove obsolete OpenBSD/MIPS support

2012-03-06 Thread Richard Sandiford
Rainer Orth writes: > I'm currently working on removing the obsolete Tru64 UNIX and IRIX > ports. When IRIX is gone, the obsoleted OpenBSD/MIPS is the only > remaining port that uses MIPS_DEBUGGING_INFO (which I plan to remove as > a followup once IRIX is gone). > > The following patch has been i