From 30e072272ca733a37df40a4fb88f83eb720ae2ac Mon Sep 17 00:00:00 2001
From: Kyle Huey <khuey@kylehuey.com>
Date: Fri, 18 Jan 2013 13:55:40 -0800
Subject: [PATCH] Bug 832472: Truncate mtime at ms. r=gps

---
 pymake/data.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pymake/data.py b/pymake/data.py
index d42ab79..6df0125 100644
--- 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: