diff -r 7f742f73c2d1 -r 0a44fc4d6bd0 config/config.in --- a/config/config.in Wed May 13 20:55:15 2009 +0000 +++ b/config/config.in Sun Aug 02 20:06:44 2009 +0200 @@ -4,7 +4,6 @@ source config/kernel.in source config/companion_libs.in source config/binutils.in -source config/elf2flt.in source config/cc.in source config/libc.in source config/tools.in