summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Kconfig10
-rw-r--r--packages/development/gdb/gdb.kconfig3
2 files changed, 8 insertions, 5 deletions
diff --git a/Kconfig b/Kconfig
index 1a6ee6e..d700ec9 100644
--- a/Kconfig
+++ b/Kconfig
@@ -51,15 +51,15 @@ menu "Toolchain configuration"
source "kconfig/toolchain.kconfig"
endmenu
-menu "Target build options"
-source kconfig/targetbuildopts.kconfig
-endmenu
-
-menu "Debugging system"
+menu "Debugging systems (GDB, strace, etc.)"
source "packages/development/gdb/gdb.kconfig"
source "kconfig/strace.kconfig"
endmenu
+menu "Target build options"
+source kconfig/targetbuildopts.kconfig
+endmenu
+
menu "Embtoolkit build options and host tools"
comment "-----------------------------"
comment "Host tools"
diff --git a/packages/development/gdb/gdb.kconfig b/packages/development/gdb/gdb.kconfig
index b13615d..822970e 100644
--- a/packages/development/gdb/gdb.kconfig
+++ b/packages/development/gdb/gdb.kconfig
@@ -36,6 +36,8 @@ choice
help
Choose which version of gdb to use.
+ config EMBTK_GDB_VERSION_7_3_1
+ bool "gdb-7.3.1"
config EMBTK_GDB_VERSION_7_2
bool "gdb-7.2"
select EMBTK_GDB_NEED_PATCH
@@ -78,6 +80,7 @@ config EMBTK_HOST_HAVE_GDB
config EMBTK_GDB_VERSION_STRING
string
+ default "7.3.1" if EMBTK_GDB_VERSION_7_3_1
default "7.2" if EMBTK_GDB_VERSION_7_2
default "6.8" if EMBTK_GDB_VERSION_6_8