From bd209d6515affeb0c4cdc80510c536bd8afd1d2d Mon Sep 17 00:00:00 2001 From: valeros Date: Fri, 30 Apr 2021 18:04:05 +0300 Subject: [PATCH] Configure default adapter speed for CMSIS-DAP --- platform.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/platform.py b/platform.py index adfe0d1..c4e29da 100644 --- a/platform.py +++ b/platform.py @@ -102,13 +102,13 @@ class RaspberrypiPlatform(PlatformBase): def configure_debug_options(self, initial_debug_options, ide_data): debug_options = copy.deepcopy(initial_debug_options) - adapter_speed = initial_debug_options.get("speed") + adapter_speed = initial_debug_options.get("speed", "5000") if adapter_speed: server_options = debug_options.get("server") or {} server_executable = server_options.get("executable", "").lower() - if "openocd" in server_executable: + if "target/cmsis-dap.cfg" in server_options.get("arguments", []): debug_options["server"]["arguments"].extend( - ["-c", "adapter speed %s" % adapter_speed] + ["-c", "adapter_khz %s" % adapter_speed] ) elif "jlink" in server_executable: debug_options["server"]["arguments"].extend(