summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-03-20 17:49:15 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-03-20 17:49:15 (GMT)
commit76f3741a0f5940e8735b4763007d69ab6a5b1993 (patch)
tree357aed9696c159f2ae0785facb4bc4470cbcd366 /config
parent2583337c7cd64ab65921695d42caf98358cc3634 (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')
-rw-r--r--config/debug/gdb.in5
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