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

Exporters - progen data - add inc_dirs

pull/1557/head
Martin Kojtal 2016-02-22 22:16:41 +00:00
parent 3f2c7bf5f8
commit efbecd6cdd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/export/exporters.py
View File

@ -62,7 +62,7 @@ class Exporter(object):
self.resources.objects + self.resources.libraries, self.resources.objects + self.resources.libraries,
}, },
'includes': { 'includes': {
'Include Files': self.resources.headers, 'Include Files': self.resources.headers + self.resources.inc_dirs,
}, },
'target': [TARGET_MAP[self.target].progen_target], 'target': [TARGET_MAP[self.target].progen_target],
'macros': self.get_symbols(), 'macros': self.get_symbols(),