http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51705
--- Comment #22 from Andreas Tobler <andreast at gcc dot gnu.org> 2011-12-30 18:54:53 UTC --- On another machine: egrep "SED|SHELL" * config.log:SED='/usr/local/bin/gsed' config.log:SHELL='/bin/sh' Works too.