On Tue, Sep 11, 2012 at 5:21 PM, Jakub Jelinek <ja...@redhat.com> wrote:
> Hi!
>
> As discussed on IRC, the picochip-* port doesn't have an active maintainer
> anymore, this patch adds it to deprecated ports for 4.7.2+ so that it can be 
> removed in
> GCC 4.8 unless somebody steps up to maintain it.
>
> Ok for trunk/4.7?

Ok.

Thanks,
Richard.

> 2012-09-11  Jakub Jelinek  <ja...@redhat.com>
>
>         * config.gcc: Obsolete picochip-*.
>
> --- gcc/config.gcc      2012-09-05 14:52:14.428548941 +0200
> +++ gcc/config.gcc      2012-09-11 17:05:15.147522191 +0200
> @@ -245,7 +245,8 @@ md_file=
>
>  # Obsolete configurations.
>  case ${target} in
> -   score-*                             \
> +   picochip-*                          \
> + | score-*                             \
>   )
>      if test "x$enable_obsolete" != xyes; then
>        echo "*** Configuration ${target} is obsolete." >&2
>
> --- gcc-4.7/changes.html        10 Aug 2012 16:25:46 -0000      1.124
> +++ gcc-4.7/changes.html        11 Sep 2012 15:15:38 -0000
> @@ -29,7 +29,14 @@
>      next release of GCC will have their sources permanently
>      <strong>removed</strong>.</p>
>
> -    <p id="obsoleted">The following ports for individual systems on
> +    <p id="obsoleted">All GCC ports for the following processor
> +    architectures have been declared obsolete:</p>
> +
> +    <ul>
> +         <li>picoChip (<code>picochip-*</code>)</li>
> +    </ul>
> +
> +    <p>The following ports for individual systems on
>      particular architectures have been obsoleted:</p>
>
>      <ul>
>
>
>         Jakub

Reply via email to