diff --git a/platform.txt b/platform.txt index e8de0ea428..41cab959d6 100644 --- a/platform.txt +++ b/platform.txt @@ -23,7 +23,7 @@ compiler.optimization_flags={build.flags.optimize} {build.flags.debug} compiler.optimization_flags.release={build.flags.optimize} {build.flags.debug} compiler.optimization_flags.debug=-Og -g -compiler.path={runtime.tools.xpack-arm-none-eabi-gcc-12.2.1-1.2.path}/bin/ +compiler.path={runtime.tools.xpack-arm-none-eabi-gcc-13.2.1-1.1.path}/bin/ compiler.S.cmd=arm-none-eabi-gcc compiler.c.cmd=arm-none-eabi-gcc @@ -232,6 +232,6 @@ debug.toolchain=gcc debug.toolchain.path={compiler.path} debug.toolchain.prefix=arm-none-eabi- debug.server=openocd -debug.server.openocd.path={runtime.tools.xpack-openocd-0.12.0-1.path}/bin/openocd -debug.server.openocd.scripts_dir={runtime.tools.xpack-openocd-0.12.0-1.path}/openocd/scripts +debug.server.openocd.path={runtime.tools.xpack-openocd-0.12.0-2.path}/bin/openocd +debug.server.openocd.scripts_dir={runtime.tools.xpack-openocd-0.12.0-2.path}/openocd/scripts debug.server.openocd.script={build.path}/openocd.cfg