Comment by fanf2
Sadly the cache files don’t record enough about the environment to be usable if you change configure options. They are generally unreliable.
Sadly the cache files don’t record enough about the environment to be usable if you change configure options. They are generally unreliable.