Avoid unnecessary recompilation after ./configure (helps #3228)
authorSimon Marlow <marlowsd@gmail.com>
Tue, 7 Jul 2009 08:50:40 +0000 (08:50 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 7 Jul 2009 08:50:40 +0000 (08:50 +0000)
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.


No differences found