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

Don't flatten build directories 

Make a really good guess
pull/7183/head
Jimmy Brisson 2018-06-13 13:56:21 -05:00
parent 0294f62c74
commit 60e08b196c
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tools/resources/__init__.py
View File

@ -482,10 +482,15 @@ class Resources(object):
self.add_toolchain_labels(toolchain) self.add_toolchain_labels(toolchain)
for path in src_paths: for path in src_paths:
if exists(path): if exists(path):
into_path = relpath(path).strip(".\\/")
if exclude: if exclude:
self.add_directory(path, into_path="", exclude_paths=[toolchain.build_dir]) self.add_directory(
path,
into_path=into_path,
exclude_paths=[toolchain.build_dir]
)
else: else:
self.add_directory(path, into_path="") self.add_directory(path, into_path=into_path)
# Scan dependency paths for include dirs # Scan dependency paths for include dirs
if dependencies_paths is not None: if dependencies_paths is not None: