diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2019-01-15 00:15:18 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-15 00:15:18 -0800 |
| commit | 043a9e0e7ef20cc4d2eada0de795b506b0d227c3 (patch) | |
| tree | cea7a692cdd9e7656439609504017affee61ac30 /tools | |
| parent | 738e8f002884a0ed302a695338c7be2af885ab39 (diff) | |
| parent | c1cfe5f5f0bf7487f243e894916dc93cf5df6017 (diff) | |
Merge pull request #1469 from vgoodwinv/patch-2
Update build_release_files.py - board/language version
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build_release_files.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/build_release_files.py b/tools/build_release_files.py index 6bf418fe6..37e827eb1 100755 --- a/tools/build_release_files.py +++ b/tools/build_release_files.py @@ -34,6 +34,8 @@ for board in build_boards: board_info = all_boards[board] for language in languages: + bin_directory = "../bin/{board}/{language}".format(board=board, language=language) + os.makedirs(bin_directory, exist_ok=True) start_time = time.monotonic() make_result = subprocess.run("make -C ../ports/" + board_info["port"] + " TRANSLATION=" + language + " BOARD=" + board, shell=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT) build_duration = time.monotonic() - start_time |