config/debug/gdb.in
changeset 1874 712cdb6504aa
parent 1852 3f6a165d8ba7
child 1899 691adadc74db
     1.1 --- a/config/debug/gdb.in	Sat Mar 20 18:49:15 2010 +0100
     1.2 +++ b/config/debug/gdb.in	Tue Mar 30 21:22:23 2010 +0200
     1.3 @@ -15,6 +15,12 @@
     1.4  # Don't remove next line
     1.5  # CT_INSERT_VERSION_BELOW
     1.6  
     1.7 +config GDB_V_7_1
     1.8 +    bool
     1.9 +    prompt "7.1 (EXPERIMENTAL)"
    1.10 +    depends on EXPERIMENTAL
    1.11 +    select GDB_7_0_or_later
    1.12 +
    1.13  config GDB_V_7_0_1
    1.14      bool
    1.15      prompt "7.0.1 (EXPERIMENTAL)"
    1.16 @@ -46,6 +52,7 @@
    1.17      string
    1.18  # Don't remove next line
    1.19  # CT_INSERT_VERSION_STRING_BELOW
    1.20 +    default "7.1" if GDB_V_7_1
    1.21      default "7.0.1" if GDB_V_7_0_1
    1.22      default "7.0" if GDB_V_7_0
    1.23      default "6.8" if GDB_V_6_8