On 12/5/06, Christian Biere <christianbiere@gmx.de> wrote:
> Lieven De Keyzer wrote:
> > >See the config.log file in the work directory.
>
> > There is no such file in the work directory.
>
> There should be a work/pl*/src/config.log.
>

bash-3.1# find . -name '.config*'
./work/.configure_makevars.mk
./work/.configure_done