diff --git a/workspace_tools/toolchains/__init__.py b/workspace_tools/toolchains/__init__.py index ca5b9a24fb..950884a5d6 100644 --- a/workspace_tools/toolchains/__init__.py +++ b/workspace_tools/toolchains/__init__.py @@ -325,7 +325,7 @@ class mbedToolchain: elif ext == '.cpp': resources.cpp_sources.append(file_path) - elif ext == '.h': + elif ext == '.h' or ext == '.hpp': if basename(file_path) == "mbed_config.h": self.has_config = True resources.headers.append(file_path)