config/gmp_mpfr.in
changeset 634 c74132339c44
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	Mon Jun 30 11:58:58 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