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

Added correct target counting when filtering option -S with -f filter

pull/395/head
Przemek Wirkus 2014-08-01 15:27:34 +01:00
parent 5b07b38554
commit 80bb5b6f6d
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/build_api.py
View File

@ -170,7 +170,9 @@ def build_mbed_libs(target, toolchain_name, options=None, verbose=False, clean=F
""" Function returns True is library was built and false if building was skipped """
# Check toolchain support
if toolchain_name not in target.supported_toolchains:
supported_toolchains_text = ", ".join(target.supported_toolchains)
print '%s target is not yet supported by toolchain %s' % (target.name, toolchain_name)
print '%s target supports %s toolchain%s' % (target.name, supported_toolchains_text, 's' if len(target.supported_toolchains) > 1 else '')
return False
# Toolchain