On Mon, 9 Nov 2009, Paolo Bonzini wrote: > On 11/08/2009 10:29 PM, David Edelsohn wrote: > > The problem is shell append += and libtool not running with the same > > shell used by configure. > > What version of libtool is used by mpc? Libtool HEAD could fix this bug. > Paolo
(GNU libtool) 2.2.6 Debian-2.2.6a-4
