diff -r 50b25816f5bb -r 6f368c337f2d config/debug/gdb.in --- a/config/debug/gdb.in Wed Oct 28 19:15:50 2009 +0100 +++ b/config/debug/gdb.in Sat Jan 09 00:54:46 2010 +0100 @@ -99,6 +99,11 @@ # Don't remove next line # CT_INSERT_VERSION_BELOW +config GDB_V_7_0_1 + bool + prompt "7.0.1 (EXPERIMENTAL)" + depends on EXPERIMENTAL + config GDB_V_7_0 bool prompt "7.0 (EXPERIMENTAL)" @@ -120,6 +125,7 @@ string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + default "7.0.1" if GDB_V_7_0_1 default "7.0" if GDB_V_7_0 default "6.8" if GDB_V_6_8 default "snapshot" if GDB_V_snapshot