ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Changed DAPLink version to interface version.

pull/5077/head
David Walters 2017-09-12 10:46:07 +01:00
parent d43a847667
commit 7ff57c4671
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/detect_targets.py
View File

@ -79,7 +79,7 @@ def main():
# Grab additional target details about the mut # Grab additional target details about the mut
details_txt = get_mounted_details_txt(mut['disk']) details_txt = get_mounted_details_txt(mut['disk'])
print "" print ""
print "[mbed] Detected %s, port %s, mounted %s, DAPLink version %s" % \ print "[mbed] Detected %s, port %s, mounted %s, interface version %s" % \
(mut['mcu'], mut['port'], mut['disk'], details_txt['Interface Version']) (mut['mcu'], mut['port'], mut['disk'], details_txt['Interface Version'])
print "[mbed] Supported toolchains for %s" % mut['mcu'] print "[mbed] Supported toolchains for %s" % mut['mcu']
print mcu_toolchain_matrix(platform_filter=mut['mcu']) print mcu_toolchain_matrix(platform_filter=mut['mcu'])