Commit 537e186f authored by simonmar's avatar simonmar
Browse files

[project @ 2001-06-29 15:10:14 by simonmar]

Change a '>' to '>=' when comparing the modification times of object &
source files, to match make's behaviour and eliminate some unnecessary
recompiles.

This introduces some potential unsafety, but it was felt that the
benefits in terms of unsurprising behaviour were worth it.
parent 3b80c4f6
......@@ -640,7 +640,13 @@ getValidLinkable old_linkables objects_allowed new_linkables summary
src_date = ms_hs_date summary
valid_linkable
= filter (\l -> linkableTime l > src_date) linkable
= filter (\l -> linkableTime l >= src_date) linkable
-- why '>=' rather than '>' above? If the filesystem stores
-- times to the nearset second, we may occasionally find that
-- the object & source have the same modification time,
-- especially if the source was automatically generated
-- and compiled. Using >= is slightly unsafe, but it matches
-- make's behaviour.
return (valid_linkable ++ new_linkables)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment