-
Simon Marlow authored
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.
0bde1150
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.