mirror of https://github.com/ARMmbed/mbed-os.git
Add support for following symlinks in make.py
parent
0a14cc45c0
commit
1fdb86eda7
|
@ -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):
|
||||||
if d == '.hg':
|
if d == '.hg':
|
||||||
|
|
Loading…
Reference in New Issue