diff options
Diffstat (limited to 'config/debug/gdb.in')
| -rw-r--r-- | config/debug/gdb.in | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/config/debug/gdb.in b/config/debug/gdb.in index dd8239ff..a835b283 100644 --- a/config/debug/gdb.in +++ b/config/debug/gdb.in @@ -6,15 +6,13 @@ source "config/debug/gdb.in.cross" source "config/debug/gdb.in.native" source "config/debug/gdb.in.gdbserver" -if GDB_CROSS || GDB_NATIVE || GDB_GDBSERVER - comment "gdb version" config GDB_CUSTOM bool prompt "Custom gdb" depends on EXPERIMENTAL - select GDB_7_2_or_later + select GDB_7_12_or_later help The choosen gdb version shall be not downloaded. Instead use a custom location to get the source. @@ -71,7 +69,7 @@ choice config GDB_V_7_12 bool prompt "7.12" - select GDB_7_2_or_later + select GDB_7_12_or_later config GDB_V_7_11 bool @@ -224,6 +222,10 @@ endchoice endif # ! GDB_CUSTOM +config GDB_7_12_or_later + bool + select GDB_7_2_or_later + config GDB_7_2_or_later bool select GDB_7_0_or_later @@ -280,6 +282,3 @@ config GDB_VERSION default "6.8a" if GDB_V_6_8a endif # ! GDB_CUSTOM - -endif # GDB_CROSS || GDB_NATIVE || GDB_GDBSERVER - |