diff options
| author | Ha Thach <[email protected]> | 2025-12-04 21:34:10 +0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-12-04 21:34:10 +0700 |
| commit | e7105b1fa3ccd8200fe7fb8b0759d00afc9b07c1 (patch) | |
| tree | 47beee5979266c979664293bae83a627f540d213 /tools/build.py | |
| parent | f68e354729c9485918966d2818fe652c033e4a93 (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-x | tools/build.py | 8 |
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) |
