diff options
| author | Mark <56205165+gamblor21@users.noreply.github.com> | 2021-03-02 19:47:53 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-02 19:47:53 -0600 |
| commit | 37ee18349f99ffafd7b60db8a107cd6f1e9e3f92 (patch) | |
| tree | 5db36911199729499d91d0c317957cfff0b71013 /tools | |
| parent | 4246cc3f6d718e2f28fbeb73fc8c3c39dfb9d7f0 (diff) | |
| parent | efc2667b5f087480b1b3233ae00ab1529a442f9f (diff) | |
Merge branch 'main' into rp2040_countio
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build_release_files.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/build_release_files.py b/tools/build_release_files.py index 98e81499e..dc6c094c0 100755 --- a/tools/build_release_files.py +++ b/tools/build_release_files.py @@ -27,6 +27,9 @@ if "BOARDS" in os.environ: sha, version = build_info.get_version_info() languages = build_info.get_languages() +language_allow_list = ['ID', 'de_DE', 'en_US', 'en_x_pirate', 'es', 'fil', 'fr', 'it_IT', 'ja', 'nl', 'pl', 'pt_BR', 'sv', 'zh_Latn_pinyin'] +print('Note: Not building languages', set(languages) - set(language_allow_list)) + exit_status = 0 cores = multiprocessing.cpu_count() print('building boards with parallelism {}'.format(cores)) @@ -35,7 +38,7 @@ for board in build_boards: os.makedirs(bin_directory, exist_ok=True) board_info = all_boards[board] - for language in languages: + for language in language_allow_list: bin_directory = "../bin/{board}/{language}".format(board=board, language=language) os.makedirs(bin_directory, exist_ok=True) start_time = time.monotonic() |