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

Use very verbose to see more details in case of problem

pull/11382/head
Olli-Pekka Puolitaival 2019-08-30 09:14:06 +03:00
parent c99b150bcf
commit aebda11adf
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/test/examples/examples_lib.py
View File

@ -398,7 +398,7 @@ def compile_repos(config, toolchains, targets, profile, verbose, examples):
valid_choices(example['toolchains'], toolchains),
example['features']):
build_command = ["mbed-cli", "compile", "-t", toolchain, "-m", target] + (['-v'] if verbose else [])
build_command = ["mbed-cli", "compile", "-t", toolchain, "-m", target] + (['-vv'] if verbose else [])
if profile:
build_command.append("--profile")
build_command.append(profile)