Avoid unnecessary recompilation after ./configure (helps #3228)
We cache the old versions of files generated by configure, so that if configure touches the file without changing it, we can detect that and restore the timestamp.
Please register or sign in to comment