Remove config.cache files when reconfiguring at top level

[Andreas Schwab]

Nick Clifton <nickc@redhat.com> writes:

> Is that OK with you ?

Why can't you just put the config.cache removal into distclean?  That's
what the bug is all about anyway.

Andreas.

-- 
Andreas Schwab, schwab@redhat.com
GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84  5EC7 45C6 250E 6F00 984E
"And now for something completely different."