http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54707



--- Comment #1 from Daniel Towner <dant at picochip dot com> 2012-10-31 
09:22:02 UTC ---

The picochip port was marked as obsolete in 4.7.

Reply via email to