shithub: mc

Download patch

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