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

Avoid constructing a FileRef when we don't use it

pull/8775/head
Jimmy Brisson 2018-11-13 09:52:12 -06:00 committed by adbridge
parent 1f25fb68ec
commit 72c46f91c5
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tools/resources/__init__.py
View File

@ -250,12 +250,10 @@ class Resources(object):
dirname[len(label_type) + 1:] not in self._labels[label_type])
def add_file_ref(self, file_type, file_name, file_path):
if sep != self._sep:
ref = FileRef(file_name.replace(sep, self._sep), file_path)
else:
ref = FileRef(file_name, file_path)
if file_type:
self._file_refs[file_type].add(ref)
if sep != self._sep:
file_name = file_name.replace(sep, self._sep)
self._file_refs[file_type].add(FileRef(file_name, file_path))
def get_file_refs(self, file_type):
"""Return a list of FileRef for every file of the given type"""