Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions tools/build_board_info.py
Original file line number Diff line number Diff line change
Expand Up @@ -109,7 +109,7 @@ def get_languages(list_all = False):
languages.add(f.name[:-3])
if not list_all:
languages = languages & language_allow_list
return sorted(list(languages), key = lambda s: s.casefold())
return sorted(list(languages), key=str.casefold)


def get_board_mapping():
Expand Down Expand Up @@ -301,6 +301,7 @@ def generate_download_info():
board_files = os.listdir(board_path.path)
board_id = board_path.name
board_info = board_mapping[board_id]
board_modules = support_matrix.get(board_id, "[]")

for alias in [board_id] + board_info["aliases"]:
alias_info = board_mapping[alias]
Expand All @@ -311,7 +312,7 @@ def generate_download_info():
new_version = {
"stable": new_stable,
"version": new_tag,
"modules": support_matrix.get(alias, "[]"),
"modules": board_modules,
"languages": languages,
"extensions": board_info["extensions"],
}
Expand Down