sort languages in a way that is not case sensitive

2021-03-25 02:56:15 +01:00 · 2021-03-25 02:56:15 +01:00 · 6b89883797
parent 36f91fe022
commit 6b89883797
1 changed files with 1 additions and 1 deletions
--- 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():