diff --git a/tools/options.py b/tools/options.py index 595e766be6..f97339e2dc 100644 --- a/tools/options.py +++ b/tools/options.py @@ -127,7 +127,7 @@ def extract_profile(parser, options, toolchain, fallback="develop"): profiles.append(contents) return profiles - + def extract_mcus(parser, options): try: if options.custom_targets_directory: