Add version to openocd tool path

sandeepmistry · sandeepmistry · commit 8aa4d42c0a02 · 2016-09-27T12:29:52.000-04:00
diff --git a/platform.txt b/platform.txt
@@ -125,7 +125,7 @@ tools.bossac_remote.upload.pattern=/usr/bin/run-bossac {upload.verbose} --port=t
 # OpenOCD sketch upload
 #
 
-tools.openocd.path={runtime.tools.openocd.path}
+tools.openocd.path={runtime.tools.openocd-0.9.0-arduino.path}
 tools.openocd.cmd=bin/openocd
 tools.openocd.cmd.windows=bin/openocd.exe
 

Original file line number	Diff line number	Diff line change
`@@ -125,7 +125,7 @@ tools.bossac_remote.upload.pattern=/usr/bin/run-bossac {upload.verbose} --port=t`
`125`	`125`	`# OpenOCD sketch upload`
`126`	`126`	`#`
`127`	`127`
`128`		`-tools.openocd.path={runtime.tools.openocd.path}`
	`128`	`+tools.openocd.path={runtime.tools.openocd-0.9.0-arduino.path}`
`129`	`129`	`tools.openocd.cmd=bin/openocd`
`130`	`130`	`tools.openocd.cmd.windows=bin/openocd.exe`
`131`	`131`