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
