https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106624
--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> --- > Which makes some sense as I locally run GNU make with --shuffle enabled by > default: https://savannah.gnu.org/bugs/index.php?62100 Do you have a special patch on top of that? Which exact revision of the make do you use?
