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

rm ["python", "-m"] from build_command

pull/10301/head
Aleksi Klasila 2019-04-04 10:34:23 +03:00 committed by GitHub
parent 3665209df8
commit 8137974232
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

@ -391,7 +391,7 @@ def compile_repos(config, toolchains, targets, profile, verbose, examples):
valid_choices(example['toolchains'], toolchains),
example['features']):
print("Compiling %s for %s, %s" % (name, target, toolchain))
build_command = ["python", "-m", "mbed", "compile", "-t", toolchain, "-m", target] + (['-v'] if verbose else [])
build_command = ["mbed-cli", "compile", "-t", toolchain, "-m", target] + (['-v'] if verbose else [])
if profile:
build_command.append("--profile")