On Fri, 10 Dec 1999, Andrew Gillham wrote:

: Also, IIUC this shouldn't be done until *all* ports are ELF, and does
: this really help ports that have been ELF since before the "rename"
: business came about? 

Well, it can be done at any time for any switched port, but it is of course
arch-specific.  We could only strip out the old functions that are now
__RENAME()d, which existed before the switch.  We can't even rename them
back without some ugly #if's in the headers.

And, of course, there are a few __RENAME()d symbols that can't be stripped,
because there is code that uses them explicitly without #include'ing the
proper headers.

-- 
-- Todd Vierling (tv@pobox.com)