From: Angus Gratton Date: Sun, 3 Dec 2017 22:22:33 +0000 (+0800) Subject: Merge branch 'bugfix/windows_mingw32_gcc' into 'master' X-Git-Tag: v3.1-beta1~562 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=579201bcdcfbb95162f8e7c93c9b2dc389acde3c;p=esp-idf Merge branch 'bugfix/windows_mingw32_gcc' into 'master' windows: Allow "make menuconfig" to work if ming32 gcc is also installed See merge request !1587 --- 579201bcdcfbb95162f8e7c93c9b2dc389acde3c