diff --git a/platform.txt b/platform.txt index 0955b1c54..0e7193624 100644 --- a/platform.txt +++ b/platform.txt @@ -214,7 +214,7 @@ tools.gdb.cmd.windows=arm-none-eabi-gdb.exe debug.executable={build.path}/{build.project_name}.elf debug.toolchain=gcc debug.toolchain.path={runtime.tools.arm-none-eabi-gcc-7-2017q4.path}/bin/ -debug.toolchain.prefix=arm-none-eabi- +debug.toolchain.prefix=arm-none-eabi debug.server=openocd debug.server.openocd.path={runtime.tools.openocd-0.11.0-arduino2.path}/bin/openocd debug.server.openocd.scripts_dir={runtime.tools.openocd-0.11.0-arduino2.path}/share/openocd/scripts/
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.
Alternative Proxies: