diff options
Diffstat (limited to 'target/config/Config.in.toolchain')
| -rw-r--r-- | target/config/Config.in.toolchain | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/target/config/Config.in.toolchain b/target/config/Config.in.toolchain index 6acd860fd..8e104b4c1 100644 --- a/target/config/Config.in.toolchain +++ b/target/config/Config.in.toolchain @@ -95,6 +95,23 @@ config ADK_TOOLCHAIN_BINUTILS_GIT endchoice +choice +prompt "GNU debugger version" + +config ADK_TOOLCHAIN_GDB_7_8_2 + bool "7.8.2" + depends on !ADK_TARGET_ARCH_AVR32 + +config ADK_TOOLCHAIN_GDB_6_7_1 + bool "6.7.1" + depends on ADK_TARGET_ARCH_AVR32 + +config ADK_TOOLCHAIN_GDB_GIT + bool "git" + depends on !ADK_TARGET_ARCH_AVR32 + +endchoice + config ADK_TARGET_CFLAGS_OPT string default "-Os -pipe" if ADK_TARGET_CFLAGS_OPT_OS |