Fix bug "can't use openocd on linux".

jixing.zou · jixing.zou · commit a73cd3849045 · 2016-06-07T17:35:07.000+08:00
diff --git a/arduino-1.6.x/hardware/RBL/RBL_nRF51822/platform.txt b/arduino-1.6.x/hardware/RBL/RBL_nRF51822/platform.txt
@@ -106,6 +106,7 @@ tools.avrdude.upload.pattern="{cmd.path}" "-C{config.path}" {upload.verbose} -p{
 tools.openocd.path={runtime.tools.openocd.path}
 #tools.openocd.path={runtime.platform.path}/tools/OpenOCD-0.9.0-dev-arduino
 tools.openocd.cmd=bin/openocd.bin
+tools.openocd.cmd.linux=bin/openocd
 tools.openocd.cmd.windows=bin/openocd.exe
 
 tools.openocd.upload.params.verbose=-d1
