summaryrefslogtreecommitdiff
path: root/mbld
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-07-31 09:34:57 -0700
committerOri Bernstein <ori@eigenstate.org>2017-07-31 09:34:57 -0700
commitd22285a6aba8f6a5eba9da13fb712561e101100b (patch)
treeb01879a58de27c46e4c86d94f86f0bf489f5a00a /mbld
parent594223c2959cc116ccc2782ebf7930677b053843 (diff)
downloadmc-d22285a6aba8f6a5eba9da13fb712561e101100b.tar.gz
Make stale return true for equal timestamps.
Because of low resolution clocks, we need to be conservative and assume that if a timestamp is equal, we may be up to a second out of date.
Diffstat (limited to 'mbld')
-rw-r--r--mbld/build.myr3
1 files changed, 2 insertions, 1 deletions
diff --git a/mbld/build.myr b/mbld/build.myr
index cdc8b79..77d5e97 100644
--- a/mbld/build.myr
+++ b/mbld/build.myr
@@ -50,6 +50,7 @@ const mark = {b, o
const build = {b, g
for n : g.leaves
if n.want
+ /* stale() updates the mtime of the leaf node */
stale(b, n)
unblock(b, n)
;;
@@ -133,7 +134,7 @@ const stale = {b, n
| `std.Err e: n.mtime = 0
;;
;;
- -> staletime > n.mtime
+ -> staletime >= n.mtime
}
const fail = {b, pid, failtype