diff options
| author | vgoodwinv <46117260+vgoodwinv@users.noreply.github.com> | 2019-01-14 21:27:14 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-14 21:27:14 -0500 |
| commit | d1204c7cf3533f5fe68d652e290d03555c0ea9aa (patch) | |
| tree | 375387b8ad9344de15c3530f1b7e8133eabaa85a /tools/build_release_files.py | |
| parent | 6962c04f66519a592ba9a2e52453fee6b0c4d6fa (diff) | |
Update build_release_files.py
Diffstat (limited to 'tools/build_release_files.py')
| -rwxr-xr-x | tools/build_release_files.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build_release_files.py b/tools/build_release_files.py index 5ad886e50..f60ebee35 100755 --- a/tools/build_release_files.py +++ b/tools/build_release_files.py @@ -34,7 +34,7 @@ for board in build_boards: board_info = all_boards[board] for language in languages: - bin_directory = "../bin/{}/-{board}/-{language}".format(board=board, language=language) + 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) |