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 #11382 from OPpuolitaival/very_verbose 

Use very verbose to see more details in case of problem
pull/11415/head
Martin Kojtal 2019-09-05 09:44:33 +02:00 committed by GitHub
parent f0234268f5 aebda11adf
commit 5f4698f81f
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/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)