config/debug/gdb.in
changeset 824 cc4590c03dd1
parent 821 4c073dd24c1d
child 850 ef8549b58b6f
     1.1 --- a/config/debug/gdb.in	Tue Sep 02 10:47:44 2008 +0000
     1.2 +++ b/config/debug/gdb.in	Tue Sep 02 19:50:45 2008 +0000
     1.3 @@ -59,9 +59,8 @@
     1.4  
     1.5  config GDB_NATIVE_USE_GMP_MPFR
     1.6      bool
     1.7 -    prompt "Use GMP and MPFR (EXPERIMENTAL)"
     1.8 +    prompt "Use GMP and MPFR"
     1.9      default n
    1.10 -    depends on EXPERIMENTAL
    1.11      depends on GDB_NATIVE
    1.12      select GMP_MPFR
    1.13      select GMP_MPFR_TARGET