diff options
| author | Neradoc <neraOnGit@ri1.fr> | 2021-03-25 02:56:15 +0100 |
|---|---|---|
| committer | Neradoc <neraOnGit@ri1.fr> | 2021-03-25 02:57:04 +0100 |
| commit | 6b8988379719e38164ade1d89ed10a89fd9d183f (patch) | |
| tree | a1ddb1f38d6865bdce1e8419dbb260086ddb2596 /tools | |
| parent | 36f91fe022aea54a420c8c19461c7d2d151055aa (diff) | |
sort languages in a way that is not case sensitive
Diffstat (limited to 'tools')
| -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(): |