http://gcc.gnu.org/bugzilla/show_bug.cgi?id=61011
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2014-04-30 Ever confirmed|0 |1 --- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- I wonder if --disable-libstdcxx should also imply --disable-libsanitizer and --disable-libcilkrts, which depend on libstdc++