On Wed, Jul 07, 2010 at 02:39:19PM +0200, Corinna Vinschen wrote:
Oh, and, talking about /opt or /usr, I'd prefer the above /usr/mingw*
sysroot idea. However, I don't like the idea in the least to keep
two different versions of w32api around. It's one target, so we should
have one set of headers only. Right? Wrong? None of that?
Unfortunately, it sounds like we've stepped into the middle of a dispute
between the mingw folks and the mingw64 folks. Maybe the best thing for
us to do would be to decide to use only one or the other but not both.
cgf