diff -r d1a8c2ae7946 -r a8bf927f6e37 config/debug/gdb.in.native
--- a/config/debug/gdb.in.native	Tue May 31 16:27:39 2011 +0200
+++ b/config/debug/gdb.in.native	Tue Nov 06 17:02:06 2012 +0100
@@ -10,13 +10,9 @@
 
 if GDB_NATIVE
 
-config GDB_NATIVE_NO_STATIC
-    bool
-
 config GDB_NATIVE_STATIC
     bool
     prompt "Build a static native gdb"
-    depends on ! GDB_NATIVE_NO_STATIC
     help
       In case you have trouble with dynamic loading of shared libraries,
       you will find that a static gdb comes in handy.