http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49970
--- Comment #9 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2012-07-08 08:20:02 UTC --- I don't know where the libtool bug tracker is, though I presume it has one.
joseph at codesourcery dot com Sun, 08 Jul 2012 01:20:22 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49970
--- Comment #9 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2012-07-08 08:20:02 UTC --- I don't know where the libtool bug tracker is, though I presume it has one.