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

Convert to a set in win2unix

pull/8479/head
Jimmy Brisson 2018-09-25 12:31:33 -05:00 committed by adbridge
parent 564eb9f8e0
commit 66edc69d64
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/resources/__init__.py
View File

@ -189,7 +189,7 @@ class Resources(object):
for file_type in self.ALL_FILE_TYPES: for file_type in self.ALL_FILE_TYPES:
v = [f._replace(name=f.name.replace(sep, self._sep)) for v = [f._replace(name=f.name.replace(sep, self._sep)) for
f in self.get_file_refs(file_type)] f in self.get_file_refs(file_type)]
self._file_refs[file_type] = v self._file_refs[file_type] = set(v)
def __str__(self): def __str__(self):
s = [] s = []