]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/idf_monitor_without_toolchain_v3.1' into 'release/v3.1'
authorIvan Grokhotkov <ivan@espressif.com>
Fri, 11 Jan 2019 07:43:18 +0000 (15:43 +0800)
committerIvan Grokhotkov <ivan@espressif.com>
Fri, 11 Jan 2019 07:43:18 +0000 (15:43 +0800)
tools: Print useful error message from idf_monitor when toolchain isn't available (backport v3.1)

See merge request idf/esp-idf!3948


Trivial merge