https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86808
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Given that both tilegx and tilepro only support *-linux* targets and the Linux kernel has removed support for those architectures, we might consider obsoleting those ports (as previously suggested).
