Re: make maintainer-clean and config.cache

2019-05-04 Thread Tom Lane
Jeff Janes writes: > But the config.cache files gets deleted by make maintainer-clean. Doesn't > that mostly defeat the purpose of having a cache? Am I doing something > wrong here, or just thinking about it wrong? Well, a few things about that: (1) distclean *must* remove config.cache to be s

make maintainer-clean and config.cache

2019-05-04 Thread Jeff Janes
In side-note in another thread Tom pointed out the speed improvements of using an autoconf cache when re-building, which sounded nice to me as config takes an annoyingly long time and is not parallelized. But the config.cache files gets deleted by make maintainer-clean. Doesn't that mostly defeat