check for file changes based on exact time
this should be more resilient to `git checkout` that brings in older
versions of a file that have a different API
commit764b6aa4b139eb2ba9bef6465cd662e781b81751
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateMon 22 Jul 2019, 11:55 (7 years ago)
parentb3ea4a5
builder/src/Build.hs+1−1
@@ -260,7 +260,7 @@ crawlModule env@(Env _ root pkg srcDirs locals foreigns) mvar docsNeed name =
260260 then crawlFile env mvar docsNeed name path =<< File.getTime path
261261 else
262262 do newTime <- File.getTime path
263− if oldTime < newTime || needsDocs docsNeed
263+ if oldTime /= newTime || needsDocs docsNeed
264264 then crawlFile env mvar docsNeed name path newTime
265265 else crawlDeps env mvar deps (SCached local)
266266