Merge remote-tracking branch 'origin/develop' into develop

platformio · Aug 28, 2023 · 1718730 · 1718730
2 parents 090389e + acaf56f
commit 1718730
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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)