* config.gcc: Obsolete picochip-*.

From-SVN: r191210

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dbe2345675e0dd6397761744808d0add28b7c73d..7dcda8565f2e63c1b72335ffe563eb1cb47ce23e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2012-09-12  Jakub Jelinek  <jakub@redhat.com>
+
+       * config.gcc: Obsolete picochip-*.
+
 2012-09-12  Nathan Froyd  <froydnj@gcc.gnu.org>
            Hans-Peter Nilsson  <hp@bitrange.com>
 

diff --git a/gcc/config.gcc b/gcc/config.gcc
index ba366b398e94bb0bd6d5555ce94edd87b787013f..c84348b83928e514741b68acf3808804320d92a6 100644 (file)
--- a/gcc/config.gcc
+++ b/gcc/config.gcc
@@ -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