ref: d22285a6aba8f6a5eba9da13fb712561e101100b
parent: 594223c2959cc116ccc2782ebf7930677b053843
author: Ori Bernstein <ori@eigenstate.org>
date: Mon Jul 31 05:34:57 EDT 2017
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.
--- a/mbld/build.myr
+++ b/mbld/build.myr
@@ -50,6 +50,7 @@
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 @@
| `std.Err e: n.mtime = 0
;;
;;
- -> staletime > n.mtime
+ -> staletime >= n.mtime
}
const fail = {b, pid, failtype