[ http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=447022 aka.
http://thread.gmane.org/gmane.comp.gnu.libtool.bugs/5879/focus=342902 ]
Hello, and sorry for the long delay.
* Clint Adams wrote on Sat, Dec 15, 2007 at 02:39:36AM CET:
On Fri, Dec 14, 2007 at 01:59:34AM +, Colin Watson wrote:
On Wed, Jan 16, 2008 at 07:18:08PM +0100, Ralf Wildenhues wrote:
[ http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=447022 aka.
http://thread.gmane.org/gmane.comp.gnu.libtool.bugs/5879/focus=342902 ]
Hello, and sorry for the long delay.
* Clint Adams wrote on Sat, Dec 15, 2007 at
* Clint Adams wrote on Wed, Jan 16, 2008 at 08:43:22PM CET:
On Wed, Jan 16, 2008 at 06:44:30PM +, Colin Watson wrote:
In my failing test case, I have /bin/sh in both these places, not
/bin/bash.
Same here.
Let's find out what the differences in the setups are. Which version
of dash?
