diff --git a/platform.py b/platform.py index 7aa54b2..e2dfef4 100644 --- a/platform.py +++ b/platform.py @@ -91,6 +91,9 @@ def configure_default_packages(self, variables, targets): self.packages["tool-gperf"]["optional"] = False for name in disabled_pkgs: + # OpenOCD should be available when debugging + if name == "tool-openocd" and variables.get("build_type", "") == "debug": + continue del self.packages[name] return super().configure_default_packages(variables, targets)