Merge pull request #156 from bhundven/gdb_update

gdb: Add gdb-7.10
8 years ago · 5b4aec54c7
parent 21818128bc d4d596b31b
commit 5b4aec54c7
1 changed files with 6 additions and 0 deletions
--- a/config/debug/gdb.in
+++ b/config/debug/gdb.in
@ -33,6 +33,11 @@ choice
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW

+config GDB_V_7_10
+    bool
+    prompt "7.10"
+    select GDB_7_2_or_later
+
 config GDB_V_7_9_1
    bool
    prompt "7.9.1"
@ -190,6 +195,7 @@ config GDB_VERSION
    string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "7.10" if GDB_V_7_10
    default "7.9.1" if GDB_V_7_9_1
    default "7.9" if GDB_V_7_9
    default "7.8.2" if GDB_V_7_8_2