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

Added parallel build option to build_travis.py 

Mostly to test Mihail's parallel build changes
pull/433/head
Bogdan Marinescu 2014-08-07 17:06:56 +01:00
parent 2cf5f34286
commit 4c54ea6a4b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/build_travis.py
View File

@ -59,7 +59,7 @@ def run_builds(dry_run):
toolchain_list = build["toolchains"]
if type(toolchain_list) != type([]): toolchain_list = [toolchain_list]
for toolchain in toolchain_list:
cmdline = "python workspace_tools/build.py -m %s -t %s -c " % (build["target"], toolchain)
cmdline = "python workspace_tools/build.py -m %s -t %s -j 4 -c " % (build["target"], toolchain)
libs = build.get("libs", [])
if libs:
cmdline = cmdline + " ".join(["--" + l for l in libs])