579201bcdc
windows: Allow "make menuconfig" to work if ming32 gcc is also installed See merge request !1587
windows: Allow "make menuconfig" to work if ming32 gcc is also installed See merge request !1587