From c63e59f57bc5cb85727ba9f7b5646539e1e49767 Mon Sep 17 00:00:00 2001
From: Jon Ringle <jon@ringle.org>
Date: Fri, 29 Oct 2010 14:42:17 -0400
Subject: [PATCH] debug/gdb: Update version to 7.2

Signed-off-by: Jon Ringle <jon@ringle.org>
---
 config/debug/gdb.in | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/config/debug/gdb.in b/config/debug/gdb.in
index a41953c9..3a00589d 100644
--- a/config/debug/gdb.in
+++ b/config/debug/gdb.in
@@ -15,6 +15,12 @@ choice
 # 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 @@ config GDB_VERSION
     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