http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56332
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> 2013-02-16 03:00:45 UTC --- (In reply to comment #2) > For mingw-w64 isn't the triplet supposed to be 'x86_64-w64-mingw32'? The other point is that the Windows API are still called win32 on x64 Windows; that is the w32 part.