[Bug libstdc++/56332] libstdc++-v3 does not support x86_64-pc-mingw64: No support for this host/target combination

[devurandom at gmx dot net]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56332

--- Comment #3 from devurandom at gmx dot net 2013-02-15 10:37:58 UTC ---
(In reply to comment #2)
> For mingw-w64 isn't the triplet supposed to be 'x86_64-w64-mingw32'?  Or has
> the 'old mingw' now grown its own 64-bit support?
That would be quite confusing, because the 32-bit target seems to be named
i386-pc-mingw32 and not i386-w32-mingw32. IMO w64-mingw32 also looks
ridiculous, but that is just my opinion. And also the package is named
mingw64-runtime in Gentoo. On the other hand the project itself seems to be
named mingw-w64 - which just makes w64-mingw32 look more wrong.