Remove config.cache files when reconfiguring at top level

[Andreas Schwab]

"Alfred M. Szmidt" <ams@gnu.org> writes:

>    >> This should be optional, as it also erases any manual changes
>    >> added to the cache file.
>    >
>    > Ah - I did not know that users would ever modify the cache files.
>
>    That's the only way to override cross-compile defaults in target
>    libraries.
>
> Can't you pass the variables on the command line?  I.e.
>
> .../configure ac_cv_foo=123

That would also pass it to the host libraries, where it may be
inappropriate.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."