diff options
| author |   Bryan Hundven <bryanhundven@gmail.com> | 2016-02-25 20:17:44 (GMT) |
|---|---|---|
| committer | Bryan Hundven <bryanhundven@gmail.com> | 2016-02-25 20:17:44 (GMT) |
| commit | 4d7e6fb0030dcd6fc2f8cbe547d9bf2b528adc6a (patch) | |
| tree | c061e2d022ac42a202dca883b08c8151a6d928ca /config | |
| parent | c280596907079d91b75226adc7ae559678ff0293 (diff) | |
| parent | f9a704bd44de89db178428bc754be1abbdd514eb (diff) | |
Merge pull request #354 from westermo/upgrade-gdb
gdb: Add support for v7.11, port patches from v7.10.1 that apply
Diffstat (limited to 'config')
| -rw-r--r-- | config/debug/gdb.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/debug/gdb.in b/config/debug/gdb.in index 77c362b..2b33d33 100644 --- a/config/debug/gdb.in +++ b/config/debug/gdb.in @@ -68,6 +68,11 @@ choice # Don't remove next line # CT_INSERT_VERSION_BELOW +config GDB_V_7_11 + bool + prompt "7.11" + select GDB_7_2_or_later + config GDB_V_7_10_1 bool prompt "7.10.1" @@ -233,6 +238,7 @@ config GDB_VERSION string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + default "7.11" if GDB_V_7_11 default "7.10.1" if GDB_V_7_10_1 default "7.10" if GDB_V_7_10 default "7.9.1" if GDB_V_7_9_1 |