- From: Irene Vatton <irene.vatton@inrialpes.fr>
- Date: Wed, 15 Jan 2003 11:42:02 +0100
- To: Clint Olsen <clint@0lsen.net>
- Cc: www-amaya@w3.org
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 UTC