http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56128
Kostya Serebryany <kcc at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED --- Comment #14 from Kostya Serebryany <kcc at gcc dot gnu.org> 2013-02-13 10:55:48 UTC --- This particular problem (with futex headers) should be fixed by the last merge (r196009)