On Wed, Dec 12, 2012 at 11:01 AM, Tom Evans <[email protected]> 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: [email protected] For additional commands, e-mail: [email protected]
