platform.txt: force openocd version

facchinm · facchinm · commit add27343f87a · 2023-01-27T15:18:39.000+01:00
diff --git a/platform.txt b/platform.txt
@@ -119,7 +119,7 @@ pluggable_monitor.required.serial=builtin:serial-monitor
 #
 # OpenOCD
 #
-tools.openocd.path={runtime.tools.openocd.path}
+tools.openocd.path={runtime.tools.openocd-0.11.0-arduino2.path}
 tools.openocd.cmd=bin/openocd
 tools.openocd.cmd.windows=bin/openocd.exe
 

Original file line number	Diff line number	Diff line change
`@@ -119,7 +119,7 @@ pluggable_monitor.required.serial=builtin:serial-monitor`
`119`	`119`	`#`
`120`	`120`	`# OpenOCD`
`121`	`121`	`#`
`122`		`-tools.openocd.path={runtime.tools.openocd.path}`
	`122`	`+tools.openocd.path={runtime.tools.openocd-0.11.0-arduino2.path}`
`123`	`123`	`tools.openocd.cmd=bin/openocd`
`124`	`124`	`tools.openocd.cmd.windows=bin/openocd.exe`
`125`	`125`