On Thu, 2003-02-13 at 09:52, John Coggeshall wrote:
> >From HEAD:
[...]
> libtool: s%^.*/%%: No such file or directory
> libtool: -e: command not found
> libtool: -e: command not found
> libtool: -e: command not found
> libtool: -e: command not found
> libtool: -e: command not found
> (more of these)
Try
$ SED=sed ./configure ...
or
$ export SED=sed
$ ./configure ...
Somehow, the variable SED is not set.
- Timm
--
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, visit: http://www.php.net/unsub.php
