On Fri, Jan 11, 2002 at 05:06:01PM +0100, Gregoire Favre wrote: > On Fri, Jan 11, 2002 at 04:58:35PM +0100, Gregoire Favre wrote: > > On Fri, Jan 11, 2002 at 10:11:17PM +1100, Geoffrey Lee wrote: > > > Do you know what options you gave to configure? > > > > Yes, just configure... without any options... > > Oups, --prefix=/usr >
Hm. If you have time you can try and debug this :) We pass a whole lot of configure options to configure, so it could be one of the options that is not playing around nicely. Could you try playing around with the relevant options and see if you can get rid of the bug (in which case there is something wrong with the configure option). -- geoff.