diff -r 13df2720b374 -r e6b5bd481942 config/debug/gdb.in.cross
--- a/config/debug/gdb.in.cross	Fri Oct 14 22:44:24 2011 +0200
+++ b/config/debug/gdb.in.cross	Fri Nov 25 23:57:55 2011 +0100
@@ -38,5 +38,12 @@
       Building a static gdb can help in this regard, although there
       have been reports of problems when linking gdb to the static
       libpython.a. This should be fixed in gdb >=7.3. YMMV.
-      
+
+config GDB_CROSS_EXTRA_CONFIG_ARRAY
+    string
+    prompt "Cross-gdb extra config"
+    default ""
+    help
+      Extra flags to pass onto ./configure when configuring the gdb cross.
+
 endif # GDB_CROSS