]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/windows_mingw32_gcc' into 'master'
authorAngus Gratton <angus@espressif.com>
Sun, 3 Dec 2017 22:22:33 +0000 (06:22 +0800)
committerAngus Gratton <angus@espressif.com>
Sun, 3 Dec 2017 22:22:33 +0000 (06:22 +0800)
windows: Allow "make menuconfig" to work if ming32 gcc is also installed

See merge request !1587


Trivial merge