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 |