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

Merge pull request #6000 from daid/patch-1 

Prevent detect_targets.py tool script from crashing on known targets
pull/6113/head
Cruz Monrreal 2018-02-15 10:57:15 -06:00 committed by GitHub
parent 984cc1ab50 e7839f1cb6
commit 28ac288698
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -80,7 +80,7 @@ def main():
count = 0 count = 0
for mut in muts.values(): for mut in muts.values():
if re.match(mcu_filter, mut['mcu']): if re.match(mcu_filter, mut['mcu'] or "Unknown"):
interface_version = get_interface_version(mut['disk']) interface_version = get_interface_version(mut['disk'])
print("") print("")
print("[mbed] Detected %s, port %s, mounted %s, interface " print("[mbed] Detected %s, port %s, mounted %s, interface "