On Wed, Dec 12, 2012 at 11:01 AM, Tom Evans <tevans.uk@xxxxxxxxxxxxxx> wrote: > configure doesn't remember your options from a previous run, that is > what config.nice does. Where you accidentally running config.nice > instead of configure? Oh, and "make distclean" is a more vigorous clean. > > Cheers > > Tom --------------------------------------------------------------------- To unsubscribe, e-mail: users-unsubscribe@xxxxxxxxxxxxxxxx For additional commands, e-mail: users-help@xxxxxxxxxxxxxxxx
|