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

Make tools cope with no-extension headers 

Treat files with no extension as headers, if they are in the cxxsupport
folder.
pull/11039/head
Kevin Bracey 2019-07-12 16:19:42 +03:00
parent 7c849cb664
commit 6fc767dc71
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/resources/__init__.py
View File

@ -524,8 +524,10 @@ class Resources(object):
return return
_, ext = splitext(file_path) _, ext = splitext(file_path)
if ext == "" and "cxxsupport" in fake_path:
file_type = self._EXT.get(ext.lower()) file_type = FileType.HEADER
else:
file_type = self._EXT.get(ext.lower())
self.add_file_ref(file_type, fake_path, file_path) self.add_file_ref(file_type, fake_path, file_path)
if file_type == FileType.HEADER: if file_type == FileType.HEADER:
for name, path in self._all_parents(file_path, base_path, into_path): for name, path in self._all_parents(file_path, base_path, into_path):