From c1cfe5f5f0bf7487f243e894916dc93cf5df6017 Mon Sep 17 00:00:00 2001 From: vgoodwinv <46117260+vgoodwinv@users.noreply.github.com> Date: Mon, 14 Jan 2019 21:35:21 -0500 Subject: [PATCH] Update build_release_files.py --- tools/build_release_files.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build_release_files.py b/tools/build_release_files.py index f60ebee35c..37e827eb1c 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)