If we're not doing a general update from upstream libtool, I think we should use the upstream ltmain.sh fix (libtool commit 74c8993c178a1386ea5e2363a01d919738402f30, it looks like), or follow it as close as possible, rather than having our own variant. -- Joseph S. Myers joseph@codesourcery.com