diff --git a/platform.txt b/platform.txt
index e848b5386..452cae3fc 100644
--- a/platform.txt
+++ b/platform.txt
@@ -137,9 +137,9 @@ debug.toolchain.prefix=arm-none-eabi-
 debug.server=openocd
 debug.server.openocd.path={runtime.tools.openocd-0.10.0-arduino7.path}/bin/openocd
 debug.server.openocd.scripts_dir={runtime.tools.openocd-0.10.0-arduino7.path}/share/openocd/scripts/
+debug.server.openocd.script={runtime.platform.path}/variants/{build.variant}/{build.openocdscript}
 build.openocdinterface=interface/{programmer.protocol}.cfg
-debug.server.openocd.scripts.0={build.openocdinterface}
-debug.server.openocd.scripts.1={runtime.platform.path}/variants/{build.variant}/{build.openocdscript}
+debug.server.openocd.scripts.1={build.openocdinterface}
 debug.svd_file={build.svd_file}
 
 # Upload/Debug tools