On Wed, 15 Jan 2003 00:11:22 -0500 (EST) Clint Olsen <clint@0lsen.net> wrote: > Hi: > > I searched the mailing list for this but didn't see any reference to it. I > tried a few things: > > - Substituting 'bash' for 'sh' in configure On some platforms we launch "make SHELL=/usrbin/bash" to solve the shell problem. > - Using 'gsed' instead of 'sed' > > So, some other weirdness is afoot. Maybe quoting perhaps? > > -Clint -- Irene.Received on Wednesday, 15 January 2003 05:42:38 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 20 September 2007 14:24:33 GMT