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

Merge pull request #5755 from jorisa/fix-make-paths 

Fix for #5676 make.py generates duplicate file entries in link_files.txt
pull/5420/merge
Cruz Monrreal II 2017-12-28 20:57:20 +00:00 committed by GitHub
parent 5a19f6dcf5 d3f6ea4ed2
commit 65dd31489a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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/toolchains/__init__.py
View File

@ -819,7 +819,7 @@ class mbedToolchain:
def relative_object_path(self, build_path, base_dir, source):
source_dir, name, _ = split_path(source)
obj_dir = join(build_path, relpath(source_dir, base_dir))
obj_dir = relpath(join(build_path, relpath(source_dir, base_dir)))
if obj_dir is not self.prev_dir:
self.prev_dir = obj_dir
mkdir(obj_dir)