summaryrefslogtreecommitdiff
path: root/tools/build.py
diff options
context:
space:
mode:
authorHa Thach <[email protected]>2025-12-04 21:34:10 +0700
committerGitHub <[email protected]>2025-12-04 21:34:10 +0700
commite7105b1fa3ccd8200fe7fb8b0759d00afc9b07c1 (patch)
tree47beee5979266c979664293bae83a627f540d213 /tools/build.py
parentf68e354729c9485918966d2818fe652c033e4a93 (diff)
fine tune ci to build more with circleci (#3386)
* fine tune ci to build more with circleci * skip make for arm-iar, esp-idf * skip make + clang for circleci since llvm-objcopy got killed due to memory issue.
Diffstat (limited to 'tools/build.py')
-rwxr-xr-xtools/build.py8
1 files changed, 2 insertions, 6 deletions
diff --git a/tools/build.py b/tools/build.py
index e4909f45f..c4f1558c0 100755
--- a/tools/build.py
+++ b/tools/build.py
@@ -142,16 +142,12 @@ def make_one_example(example, board, make_option):
r = 2
else:
start_time = time.monotonic()
- # skip -j for circleci
- if not os.getenv('CIRCLECI'):
- make_option += ' -j'
- make_args = ["make", "-C", f"examples/{example}", f"BOARD={board}"]
+ make_args = ["make", "-C", f"examples/{example}", f"BOARD={board}", '-j', str(parallel_jobs)]
if make_option:
make_args += shlex.split(make_option)
- make_args.append("all")
if clean_build:
run_cmd(make_args + ["clean"])
- build_result = run_cmd(make_args)
+ build_result = run_cmd(make_args + ['all'])
r = 0 if build_result.returncode == 0 else 1
print_build_result(board, example, r, time.monotonic() - start_time)