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

Put all src_paths into the root

pull/7183/head
Jimmy Brisson 2018-06-13 13:46:27 -05:00
parent de913e1ea2
commit 0294f62c74
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/resources/__init__.py
View File

@ -483,9 +483,9 @@ class Resources(object):
for path in src_paths:
if exists(path):
if exclude:
self.add_directory(path, exclude_paths=[toolchain.build_dir])
self.add_directory(path, into_path="", exclude_paths=[toolchain.build_dir])
else:
self.add_directory(path)
self.add_directory(path, into_path="")
# Scan dependency paths for include dirs
if dependencies_paths is not None: