------- Comment #3 from booleandomain at gmail dot com 2009-08-06 20:20 ------- I added the --disable-libstdcxx-pch option to the configure command for the target gcc compiler, and now make works. Now I'm no longer sure if this is a bug or my fault...
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40974