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

Fix normal export (no --source)

pull/2106/head
Jimmy Brisson 2016-07-05 12:04:36 -05:00
parent fa527cf45e
commit 61ee30efb2
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/export/gccarm.py
View File

@ -133,6 +133,7 @@ class GccArm(Exporter):
def generate(self): def generate(self):
# "make" wants Unix paths # "make" wants Unix paths
self.resources.win_to_unix() self.resources.win_to_unix()
if self.sources_relative:
self.resources.relative_to(self.prj_paths[0]) self.resources.relative_to(self.prj_paths[0])
to_be_compiled = [] to_be_compiled = []
@ -159,7 +160,7 @@ class GccArm(Exporter):
'libraries': libraries, 'libraries': libraries,
'symbols': self.get_symbols(), 'symbols': self.get_symbols(),
'cpu_flags': self.toolchain.cpu, 'cpu_flags': self.toolchain.cpu,
'vpath': [relpath(s, build_dir) for s in self.prj_paths] if self.sources_relative else ["../"] 'vpath': [relpath(s, build_dir) for s in self.prj_paths] if self.sources_relative else [".."]
} }
for key in ['include_paths', 'library_paths', 'linker_script']: for key in ['include_paths', 'library_paths', 'linker_script']: