* Patrick Welche wrote on Thu, Dec 04, 2008 at 10:20:50AM CET:
> On Wed, Nov 12, 2008 at 07:55:28PM +0100, Ralf Wildenhues wrote:
> > * Bob Friesenhahn wrote on Wed, Nov 12, 2008 at 06:33:12PM CET:
> > > While building libtool HEAD today, I encountered this problem:
> > > /home/bfriesen/src/gnu/li
On Wed, Nov 12, 2008 at 07:55:28PM +0100, Ralf Wildenhues wrote:
> Hi Bob,
>
> * Bob Friesenhahn wrote on Wed, Nov 12, 2008 at 06:33:12PM CET:
> > While building libtool HEAD today, I encountered this problem:
> >
> > PATH=.:$PATH; export PATH; /bin/bash
> > /home/bfriesen/src/gnu/libtool-head/l
