Bug 832472: Truncate mtime at ms. r=gps

mozilla · Jan 18, 2013 · 30e0722 · 30e0722
1 parent 0cab2a1
commit 30e0722
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pymake/data.py b/pymake/data.py
@@ -40,7 +40,8 @@ def mtimeislater(deptime, targettime):
         return True
     if targettime is None:
         return False
-    return deptime > targettime
+    # int(1000*x) because of http://bugs.python.org/issue10148
+    return int(1000 * deptime) > int(1000 * targettime)
 
 def getmtime(path):
     try: