diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-09-12 11:01:02 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-09-12 11:01:02 +0200 |
| commit | 98aa03f4cbda0caf569a3ceaa218ef2c80d19898 (patch) | |
| tree | edff855eeed5735930970e0028e86a04764dc813 /gcc/config.gcc | |
| parent | e076319b26d78eeff5a44422e404c1a29d683de2 (diff) | |
| download | gcc-98aa03f4cbda0caf569a3ceaa218ef2c80d19898.zip gcc-98aa03f4cbda0caf569a3ceaa218ef2c80d19898.tar.gz gcc-98aa03f4cbda0caf569a3ceaa218ef2c80d19898.tar.bz2 | |
* config.gcc: Obsolete picochip-*.
From-SVN: r191210
Diffstat (limited to 'gcc/config.gcc')
| -rw-r--r-- | gcc/config.gcc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/config.gcc b/gcc/config.gcc index ba366b3..c84348b 100644 --- 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 |