diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-20 17:49:15 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-20 17:49:15 (GMT) |
commit | 76f3741a0f5940e8735b4763007d69ab6a5b1993 (patch) | |
tree | 357aed9696c159f2ae0785facb4bc4470cbcd366 /config/debug/gdb.in | |
parent | 2583337c7cd64ab65921695d42caf98358cc3634 (diff) |
debug/gdb: add handling of 7_0_or_later
We'll need to differentiate gdb 7.0 or later, from gdb prior to 7.0
Diffstat (limited to 'config/debug/gdb.in')
-rw-r--r-- | config/debug/gdb.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/debug/gdb.in b/config/debug/gdb.in index 34237fb..fa393e7 100644 --- a/config/debug/gdb.in +++ b/config/debug/gdb.in @@ -19,11 +19,13 @@ config GDB_V_7_0_1 bool prompt "7.0.1 (EXPERIMENTAL)" depends on EXPERIMENTAL + select GDB_7_0_or_later config GDB_V_7_0 bool prompt "7.0 (EXPERIMENTAL)" depends on EXPERIMENTAL + select GDB_7_0_or_later config GDB_V_6_8 bool @@ -37,6 +39,9 @@ config GDB_V_snapshot endchoice +config GDB_7_0_or_later + bool + config GDB_VERSION string # Don't remove next line |