]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/idf_monitor_without_toolchain' into 'master'
authorAnton Maklakov <anton@espressif.com>
Wed, 12 Dec 2018 08:20:14 +0000 (16:20 +0800)
committerAnton Maklakov <anton@espressif.com>
Wed, 12 Dec 2018 08:20:14 +0000 (16:20 +0800)
tools: Print useful error message from idf_monitor when toolchain isn't available

See merge request idf/esp-idf!3862


Trivial merge