From 16d6042a245332e7386d059fd87602a49a3c4d0f Mon Sep 17 00:00:00 2001 From: LinusHeu <118672629+LinusHeu@users.noreply.github.com> Date: Sun, 13 Aug 2023 15:00:52 +0200 Subject: [PATCH] change default picoprobe speed to 5000 kHz To make it the same as with the Arduino IDE See https://github.com/earlephilhower/arduino-pico/pull/1218 --- builder/main.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/builder/main.py b/builder/main.py index 4534fd6..10c2b59 100644 --- a/builder/main.py +++ b/builder/main.py @@ -499,9 +499,9 @@ def _jlink_cmd_script(env, source): ] openocd_args.extend( debug_tools.get(upload_protocol).get("server").get("arguments", [])) - # always use a default speed directive of 1000khz or an otherwise configured speed + # always use a default speed directive of 5000khz or an otherwise configured speed # otherwise, flash failures were observed - speed = env.GetProjectOption("debug_speed") or "1000" + speed = env.GetProjectOption("debug_speed") or "5000" openocd_args.extend( ["-c", "adapter speed %s" % speed] )