https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83909 --- Comment #2 from lkrupp at gcc dot gnu.org --- (In reply to Andrew Pinski from comment #1) > Note most folks run make check with -k also it won't even make a difference > there either. The patch seems to do the same thing for me when I run make with -k.