Re: Why does autogen.sh throw away the config cache?

Jim Blandy <jimb@savonarola.red-bean.com> writes:
> > If you want to add an optional switch to autogen.sh to disable the deletion
> > (the default "should" be to delete the cache), then go for it.
>
> No, I think switches are a mess. I'll leave it as is.

Would comparing timestamps do it?

If config.cache is newer than configure.in, then leave it alone. If
configure.in is newer, autogen.sh should delete config.cache.

Does this logic make sense?
Received on Sat Oct 21 14:36:09 2006