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