diff -r e5b635bb9290 -r 9a8f0e3fe605 config/debug/gdb.in.cross
--- a/config/debug/gdb.in.cross	Thu Apr 15 20:00:23 2010 +0200
+++ b/config/debug/gdb.in.cross	Mon Aug 23 10:38:15 2010 +0200
@@ -21,26 +21,4 @@
       That way, you can share the cross-gdb without installing a toolchain
       on every machine that will be used to debug target programs.
 
-config GDB_CROSS_USE_GMP_MPFR
-    bool
-    prompt "Use GMP/MPFR"
-    default n
-    select GMP
-    select MPFR
-    help
-      gdb can use GMP+MPFR, although it does not seem compulsory.
-      
-      Say 'Y' here if you want to use GMP+MPFR.
-
-config GDB_CROSS_USE_MPC
-    bool
-    prompt "Use MPC"
-    default n
-    select GDB_CROSS_USE_GMP_MPFR
-    select MPC
-    help
-      gdb can use MPC, although it does not seem compulsory.
-      
-      Say 'Y' here if you want to use MPC.
-
 endif # GDB_CROSS