changeset 831 | 8a2c96b50bf4 |
parent 602 | 1968d150a34f |
child 850 | ef8549b58b6f |
1.1 --- a/config/gmp_mpfr.in Fri Jun 20 15:16:43 2008 +0000 1.2 +++ b/config/gmp_mpfr.in Thu Sep 04 16:56:53 2008 +0000 1.3 @@ -27,8 +27,8 @@ 1.4 to run gdb natively on the target. 1.5 1.6 if GMP_MPFR 1.7 -source config/cc/gmp.in 1.8 -source config/cc/mpfr.in 1.9 +source config/gmp_mpfr/gmp.in 1.10 +source config/gmp_mpfr/mpfr.in 1.11 endif 1.12 1.13 endmenu