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)
commit0bde11509ca13d4d0914496ee652d7c2b43a0420
tree590b887273ad06a885d657abb11bdb47a8fe5e59
parenta6ce3525d991c7df80aec6355b9d0aa941810a94
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.
Makefile
ghc.mk