config/config.in
changeset 1318 5416f4ba36bf
parent 916 68af6b83ff7e
child 1337 7f742f73c2d1
     1.1 --- a/config/config.in	Fri Oct 10 14:30:44 2008 +0000
     1.2 +++ b/config/config.in	Sun May 03 21:10:15 2009 +0000
     1.3 @@ -2,7 +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/companion_libs.in
     1.9  source config/binutils.in
    1.10  source config/cc.in
    1.11  source config/libc.in