diff --git a/tools/toolchains/__init__.py b/tools/toolchains/__init__.py index 845312b8df..e5c5682118 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): if d == '.hg':