config/config.in
changeset 722 37968404e9b9
parent 182 223c84ec2d90
child 916 68af6b83ff7e
     1.1 --- a/config/config.in	Sun Jul 01 19:04:20 2007 +0000
     1.2 +++ b/config/config.in	Fri Jul 25 14:08:03 2008 +0000
     1.3 @@ -2,6 +2,7 @@
     1.4  source config/target.in
     1.5  source config/toolchain.in
     1.6  source config/kernel.in
     1.7 +source config/gmp_mpfr.in
     1.8  source config/binutils.in
     1.9  source config/cc.in
    1.10  source config/libc.in