Update openocd to 0.10.0-arduino7

facchinm · facchinm · commit 2f97fc2a1952 · 2018-08-29T16:30:33.000+02:00
diff --git a/platform.txt b/platform.txt
@@ -165,7 +165,7 @@ tools.bossacI.upload.network_pattern="{network_cmd}" -address {serial.port} -por
 # OpenOCD sketch upload
 #
 
-tools.openocd.path={runtime.tools.openocd-0.9.0-arduino6-static.path}
+tools.openocd.path={runtime.tools.openocd-0.10.0-arduino7.path}
 tools.openocd.cmd=bin/openocd
 tools.openocd.cmd.windows=bin/openocd.exe
 
@@ -194,7 +194,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.9.0-arduino6-static.path}
+tools.openocd-withbootsize.path={runtime.tools.openocd-0.10.0-arduino7.path}
 tools.openocd-withbootsize.cmd=bin/openocd
 tools.openocd-withbootsize.cmd.windows=bin/openocd.exe
 

Original file line number	Diff line number	Diff line change
`@@ -165,7 +165,7 @@ tools.bossacI.upload.network_pattern="{network_cmd}" -address {serial.port} -por`
`165`	`165`	`# OpenOCD sketch upload`
`166`	`166`	`#`
`167`	`167`
`168`		`-tools.openocd.path={runtime.tools.openocd-0.9.0-arduino6-static.path}`
	`168`	`+tools.openocd.path={runtime.tools.openocd-0.10.0-arduino7.path}`
`169`	`169`	`tools.openocd.cmd=bin/openocd`
`170`	`170`	`tools.openocd.cmd.windows=bin/openocd.exe`
`171`	`171`
`@@ -194,7 +194,7 @@ tools.openocd.bootloader.pattern="{path}/{cmd}" {bootloader.verbose} -s "{path}/`
`194`	`194`	`# FIXME: this programmer is a workaround for default options being overwritten by uploadUsingPreferences`
`195`	`195`	`#`
`196`	`196`
`197`		`-tools.openocd-withbootsize.path={runtime.tools.openocd-0.9.0-arduino6-static.path}`
	`197`	`+tools.openocd-withbootsize.path={runtime.tools.openocd-0.10.0-arduino7.path}`
`198`	`198`	`tools.openocd-withbootsize.cmd=bin/openocd`
`199`	`199`	`tools.openocd-withbootsize.cmd.windows=bin/openocd.exe`
`200`	`200`