change default picoprobe speed to 5000 kHz

LinusHeu · web-flow · commit 16d6042a2453 · 2023-08-13T15:00:52.000+02:00
To make it the same as with the Arduino IDE See earlephilhower/arduino-pico#1218
diff --git 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]
     )

Original file line number	Diff line number	Diff line change
`@@ -499,9 +499,9 @@ def _jlink_cmd_script(env, source):`
`499`	`499`	`]`
`500`	`500`	`openocd_args.extend(`
`501`	`501`	`debug_tools.get(upload_protocol).get("server").get("arguments", []))`
`502`		`- # always use a default speed directive of 1000khz or an otherwise configured speed`
	`502`	`+ # always use a default speed directive of 5000khz or an otherwise configured speed`
`503`	`503`	`# otherwise, flash failures were observed`
`504`		`- speed = env.GetProjectOption("debug_speed") or "1000"`
	`504`	`+ speed = env.GetProjectOption("debug_speed") or "5000"`
`505`	`505`	`openocd_args.extend(`
`506`	`506`	`["-c", "adapter speed %s" % speed]`
`507`	`507`	`)`