diff options
author | Ori Bernstein <ori@eigenstate.org> | 2017-07-31 09:34:57 -0700 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2017-07-31 09:34:57 -0700 |
commit | d22285a6aba8f6a5eba9da13fb712561e101100b (patch) | |
tree | b01879a58de27c46e4c86d94f86f0bf489f5a00a | |
parent | 594223c2959cc116ccc2782ebf7930677b053843 (diff) | |
download | mc-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.
-rw-r--r-- | mbld/build.myr | 3 |
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 |