ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Sort every list we have

pull/7183/head
Jimmy Brisson 2018-06-28 10:43:40 -05:00
parent 5c27da7046
commit c641fd7459
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/resources/__init__.py
View File

@ -287,7 +287,9 @@ class Resources(object):
parents.add(".") parents.add(".")
else: else:
parents = set() parents = set()
return list(parents) + [key(f) for f in self.get_file_refs(file_type)] return sorted(
list(parents) + [key(f) for f in self.get_file_refs(file_type)]
)
def get_file_names(self, file_type): def get_file_names(self, file_type):