platform: update to openocd-0.12.0

pennam · pennam · commit cb9c5e7475b4 · 2025-11-24T16:15:33.000+01:00
switching to openocd-0.12.0 since it will be added to the core default tools
diff --git a/platform.txt b/platform.txt
@@ -161,7 +161,7 @@ pluggable_monitor.required.serial=builtin:serial-monitor
 #
 # OpenOCD
 #
-tools.openocd.path={runtime.tools.openocd-0.11.0-arduino2.path}
+tools.openocd.path={runtime.tools.openocd-0.12.0-arduino1-static.path}
 tools.openocd.cmd=bin/openocd
 tools.openocd.cmd.windows=bin/openocd.exe
 

Original file line number	Diff line number	Diff line change
`@@ -161,7 +161,7 @@ pluggable_monitor.required.serial=builtin:serial-monitor`
`161`	`161`	`#`
`162`	`162`	`# OpenOCD`
`163`	`163`	`#`
`164`		`-tools.openocd.path={runtime.tools.openocd-0.11.0-arduino2.path}`
	`164`	`+tools.openocd.path={runtime.tools.openocd-0.12.0-arduino1-static.path}`
`165`	`165`	`tools.openocd.cmd=bin/openocd`
`166`	`166`	`tools.openocd.cmd.windows=bin/openocd.exe`
`167`	`167`