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 #65 from geky/make-follow-symlinks 

Add support for following symlinks in make.py
Marcus Shawcroft 2016-04-28 16:03:40 +01:00
parent 6b3d841664 1fdb86eda7
commit bd37e5ac0a
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

@ -356,7 +356,7 @@ class mbedToolchain:
bottom-up mode the directories in dirnames are generated before dirpath bottom-up mode the directories in dirnames are generated before dirpath
itself is generated. itself is generated.
""" """
for root, dirs, files in walk(path): for root, dirs, files in walk(path, followlinks=True):
# Remove ignored directories # Remove ignored directories
for d in copy(dirs): for d in copy(dirs):
dir_path = join(root, d) dir_path = join(root, d)