config/debug/gdb.in
changeset 1852 3f6a165d8ba7
parent 1849 73f76483a389
child 1874 712cdb6504aa
     1.1 --- a/config/debug/gdb.in	Mon Mar 15 21:42:55 2010 +0100
     1.2 +++ b/config/debug/gdb.in	Sat Mar 20 18:49:15 2010 +0100
     1.3 @@ -19,11 +19,13 @@
     1.4      bool
     1.5      prompt "7.0.1 (EXPERIMENTAL)"
     1.6      depends on EXPERIMENTAL
     1.7 +    select GDB_7_0_or_later
     1.8  
     1.9  config GDB_V_7_0
    1.10      bool
    1.11      prompt "7.0 (EXPERIMENTAL)"
    1.12      depends on EXPERIMENTAL
    1.13 +    select GDB_7_0_or_later
    1.14  
    1.15  config GDB_V_6_8
    1.16      bool
    1.17 @@ -37,6 +39,9 @@
    1.18  
    1.19  endchoice
    1.20  
    1.21 +config GDB_7_0_or_later
    1.22 +    bool
    1.23 +
    1.24  config GDB_VERSION
    1.25      string
    1.26  # Don't remove next line