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.
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.