Robins Tharakan <tharakan@gmail.com> writes: > alligator/HEAD is still failing though. > Let me know if changing something on alligator can help in some way.
I think we're waiting on the gcc crew to fix their bug. As long as alligator is faithfully rebuilding gcc from upstream everyday, there's not much more to do than wait.
(You could adopt Andres' -g1 workaround, but then we'd not know when the gcc bug is fixed. So unless this drags on quite awhile, I think alligator is best left as-is.)
It's been a few days since alligator lit up the buildfarm red. IMHO at this
point, it is just noise. So I've reduced its v16+ build frequency to daily
(instead of a few minutes). I'll revert that once gcc is fixed upstream.
