diff options
Diffstat (limited to 'tools/build_board_info.py')
| -rw-r--r-- | tools/build_board_info.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build_board_info.py b/tools/build_board_info.py index 229081c77..0e62c1de7 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(): |