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 #7396 from theotherjimmy/mbed-2-matrix 

Tools: Show Mbed-2-only targets in mbed compile -S
pull/7544/head
Cruz Monrreal 2018-07-18 08:49:09 -05:00 committed by GitHub
parent d55f874083 285d661373
commit b30ac55edd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/make.py
View File

@ -190,7 +190,8 @@ if __name__ == '__main__':
# Only prints matrix of supported toolchains
if options.supported_toolchains:
if options.supported_toolchains == "matrix":
print(mcu_toolchain_matrix(platform_filter=options.general_filter_regex))
print(mcu_toolchain_matrix(platform_filter=options.general_filter_regex,
release_version=None))
elif options.supported_toolchains == "toolchains":
toolchain_list = mcu_toolchain_list()
# Only print the lines that matter