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 #10332 from bridadan/fix_large_print 

Break up large prints from --supported
pull/10354/head
Martin Kojtal 2019-04-09 11:03:16 +02:00 committed by GitHub
parent 905042ec17 84e4386693
commit 4a3edf5c83
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tools/make.py
View File

@ -53,6 +53,7 @@ from tools.utils import argparse_many
from tools.utils import argparse_dir_not_parent
from tools.utils import NoValidToolchainException
from tools.utils import print_end_warnings
from tools.utils import print_large_string
from tools.settings import ROOT
from tools.targets import Target
@ -292,14 +293,14 @@ def main():
if options.supported_toolchains:
if options.supported_toolchains == "matrix":
print(mcu_toolchain_matrix(
print_large_string(mcu_toolchain_matrix(
platform_filter=options.general_filter_regex,
release_version=None
))
elif options.supported_toolchains == "toolchains":
print('\n'.join(get_toolchain_list()))
elif options.supported_toolchains == "targets":
print(mcu_target_list())
print_large_string(mcu_target_list())
elif options.list_tests is True:
print('\n'.join(map(str, sorted(TEST_MAP.values()))))
else: