diff options
| author | Kenny <3454741+WarriorOfWire@users.noreply.github.com> | 2020-07-25 10:23:42 -0700 |
|---|---|---|
| committer | Kenny <3454741+WarriorOfWire@users.noreply.github.com> | 2020-07-25 10:23:42 -0700 |
| commit | ebc1373c08509c3c5eb1420b8a91fe5329d6718a (patch) | |
| tree | 1c977135a01fcd9669130501149940e2c7c96105 /tools | |
| parent | 11d225fe6238d7af0e189232766c16b089d63c59 (diff) | |
use -j2 in the actual build also
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build_release_files.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/build_release_files.py b/tools/build_release_files.py index 1209c18ad..98e81499e 100755 --- a/tools/build_release_files.py +++ b/tools/build_release_files.py @@ -54,8 +54,8 @@ for board in build_boards: build_dir += "-{language}".format(language=language) make_result = subprocess.run( - "make -C ../ports/{port} TRANSLATION={language} BOARD={board} BUILD={build}".format( - port = board_info["port"], language=language, board=board, build=build_dir), + "make -C ../ports/{port} TRANSLATION={language} BOARD={board} BUILD={build} -j {cores}".format( + port = board_info["port"], language=language, board=board, build=build_dir, cores=cores), shell=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT) build_duration = time.monotonic() - start_time |