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