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.)
regards, tom lane