20 Jun
2009
20 Jun
'09
12:19 a.m.
On Fri, Jun 19, 2009 at 4:21 PM, Chris Robinsonchris.kcat@gmail.com wrote:
This is not a configure option, it's the name of the installed mingw32 binaries. They are supposed to follow the GNU naming convention for cross-compilers, and they do on all sane distros AFAIK.
Gentoo names them with the mingw32- prefix only, on my 32-bit x86 install.
Yes Gentoo is the only major odd-man out. We should send a patch upstream for its emerge overlay or whatever they call the think.
--
Steven Edwards
"There is one thing stronger than all the armies in the world, and
that is an idea whose time has come." - Victor Hugo