summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config/debug/gdb.in7
1 files changed, 7 insertions, 0 deletions
diff --git a/config/debug/gdb.in b/config/debug/gdb.in
index fa393e7..108044b 100644
--- a/config/debug/gdb.in
+++ b/config/debug/gdb.in
@@ -15,6 +15,12 @@ choice
# Don't remove next line
# CT_INSERT_VERSION_BELOW
+config GDB_V_7_1
+ bool
+ prompt "7.1 (EXPERIMENTAL)"
+ depends on EXPERIMENTAL
+ select GDB_7_0_or_later
+
config GDB_V_7_0_1
bool
prompt "7.0.1 (EXPERIMENTAL)"
@@ -46,6 +52,7 @@ config GDB_VERSION
string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
+ default "7.1" if GDB_V_7_1
default "7.0.1" if GDB_V_7_0_1
default "7.0" if GDB_V_7_0
default "6.8" if GDB_V_6_8