http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48724
Richard Guenther <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |NEW Last reconfirmed| |2012-05-08 Resolution|INVALID | Ever Confirmed|0 |1 --- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-08 10:15:26 UTC --- Ok, you didn't state that Mozilla indeed sets MAKE to 'make -j'. Yes, if that happens there is a problem.