[Bug other/56780] --disable-install-libiberty still installs libiberty.a

[matthew at linuxfromscratch dot org]

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

--- Comment #3 from Matthew Burgess <matthew at linuxfromscratch dot org> ---
(In reply to Jonathan Wakely from comment #2)

> I suggest pinging the gcc-patches list about your patch at
> http://gcc.gnu.org/ml/gcc-patches/2013-04/msg00167.html and CC Ian as he is
> a maintainer for libiberty and he agreed on the gcc list that this is a bug.

Thanks for the reminder, Jonathan.  Pinged yesterday, including Ian on the CC
list.  The archived email is at
http://gcc.gnu.org/ml/gcc-patches/2013-05/msg00664.html.