explicit specify openocd 0.11.0-arduino2

Author: hathach

platform.txt

@@ -173,7 +173,7 @@ tools.bossacI.upload.network_pattern="{network_cmd}" -address {serial.port} -por
 # OpenOCD sketch upload
 #
 
-tools.openocd.path={runtime.tools.openocd-0.10.0-arduino7.path}
+tools.openocd.path={runtime.tools.openocd-0.11.0-arduino2.path}
 tools.openocd.cmd=bin/openocd
 tools.openocd.cmd.windows=bin/openocd.exe
 
@@ -202,7 +202,7 @@ tools.openocd.bootloader.pattern="{path}/{cmd}" {bootloader.verbose} -s "{path}/
 # FIXME: this programmer is a workaround for default options being overwritten by uploadUsingPreferences
 #
 
-tools.openocd-withbootsize.path={runtime.tools.openocd-0.10.0-arduino7.path}
+tools.openocd-withbootsize.path={runtime.tools.openocd-0.11.0-arduino2.path}
 tools.openocd-withbootsize.cmd=bin/openocd
 tools.openocd-withbootsize.cmd.windows=bin/openocd.exe
 
@@ -234,8 +234,8 @@ debug.toolchain.path={runtime.tools.arm-none-eabi-gcc.path}/bin/
 debug.toolchain.prefix=arm-none-eabi-
 
 debug.server=openocd
-debug.server.openocd.path={runtime.tools.openocd.path}/bin/openocd
-debug.server.openocd.scripts_dir={runtime.tools.openocd.path}/share/openocd/scripts/
+debug.server.openocd.path={runtime.tools.openocd-0.11.0-arduino2.path}/bin/openocd
+debug.server.openocd.scripts_dir={runtime.tools.openocd-0.11.0-arduino2.path}/share/openocd/scripts/
 debug.server.openocd.script={runtime.platform.path}/{build.openocdscript}
 
 # JLinkServer is not supported by arduino-cli yet