How about looking at the target produced by configure? The relevant
ones are "*-pc-mingw32" and "*-pc-msdosdjgpp". Would that work?Maybe. I don't know. I need you, or someone, to make the actual patch and try it. I have zero interest in ever touching Windows myself. Best, k
