On Tue, Jan 01, 2019 at 10:07:11PM -0800, Jason Thorpe wrote: > > ...also, it seems like the GNU-style symbol versioning support might be > another way to solve this, yah?
It would, if it wasn't (intentionally?) crippled down to the point of useless. So yes, it seems like renaming all symbols with an appropiate tool is likely the only manageable solution. Joerg
