diff --git a/platform.py b/platform.py index f68f279..b41196a 100644 --- a/platform.py +++ b/platform.py @@ -99,6 +99,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)