diff --git a/tools/toolchains/__init__.py b/tools/toolchains/__init__.py index 2236c20737..43c5013317 100644 --- a/tools/toolchains/__init__.py +++ b/tools/toolchains/__init__.py @@ -356,7 +356,7 @@ class mbedToolchain: bottom-up mode the directories in dirnames are generated before dirpath itself is generated. """ - for root, dirs, files in walk(path): + for root, dirs, files in walk(path, followlinks=True): # Remove ignored directories for d in copy(dirs): dir_path = join(root, d)