# HG changeset patch
# User Jon Ringle <jon@ringle.org>
# Date 1288377737 14400
# Node ID 974179cae7140c6a8b6234abe903ebbbdd118d84
# Parent  9cd8ee461fd0052b052089ef54659d30f93799d8
debug/gdb: Update version to 7.2

Signed-off-by: Jon Ringle <jon@ringle.org>

diff -r 9cd8ee461fd0 -r 974179cae714 config/debug/gdb.in
--- a/config/debug/gdb.in	Sat Oct 23 01:21:20 2010 +0200
+++ b/config/debug/gdb.in	Fri Oct 29 14:42:17 2010 -0400
@@ -15,6 +15,12 @@
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config GDB_V_7_2
+    bool
+    prompt "7.2 (EXPERIMENTAL)"
+    depends on EXPERIMENTAL
+    select GDB_7_0_or_later
+
 config GDB_V_7_1
     bool
     prompt "7.1 (EXPERIMENTAL)"
@@ -46,6 +52,7 @@
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "7.2" if GDB_V_7_2
     default "7.1" if GDB_V_7_1
     default "7.0.1" if GDB_V_7_0_1
     default "7.0" if GDB_V_7_0