Check the modification times of libraries in --make link step
authorSimon Marlow <marlowsd@gmail.com>
Mon, 1 Sep 2008 13:26:14 +0000 (13:26 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Mon, 1 Sep 2008 13:26:14 +0000 (13:26 +0000)
commit880a6b90ba6d93e55a464bea585f9d7c5e4abfb3
tree22a861f4a0ec13b928924454281571f707fa1dab
parent17d2260b6791a0f2569e9ce6d105bb43998457b0
Check the modification times of libraries in --make link step
When linking in --make we check the modification time of the
executable against the modification time of the object files, and only
re-link if any object file is newer.  However, we should also check
the modification times of packages, since the recompilation checker
also tracks dependencies in packages.

In a GHC build this means that if you recompile stage2 and don't
manage to change any fingerpints, we won't recompile Main but we'll
still re-link it.
compiler/main/DriverPipeline.hs
compiler/main/Packages.lhs