diff --git a/tools/build_board_info.py b/tools/build_board_info.py index 229081c771..0e62c1de77 100644 --- a/tools/build_board_info.py +++ b/tools/build_board_info.py @@ -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)) + return sorted(list(languages), key = lambda s: s.casefold()) def get_board_mapping():