1 files changed, 8 insertions, 0 deletions
diff --git a/run_tests.py b/run_tests.py
index d0a67e8..a374839 100755
--- a/run_tests.py
+++ b/run_tests.py
@@ -16,6 +16,7 @@
 
 import os
 import sys
+import time
 import shutil
 import subprocess
 import platform
@@ -98,6 +99,13 @@ def get_backend_commands(backend, debug=False):
         raise AssertionError('Unknown backend: {!r}'.format(backend))
     return cmd, clean_cmd, test_cmd, install_cmd, uninstall_cmd
 
+def ensure_backend_detects_changes(backend):
+    # This is needed to increase the difference between build.ninja's
+    # timestamp and the timestamp of whatever you changed due to a Ninja
+    # bug: https://github.com/ninja-build/ninja/issues/371
+    if backend is Backend.ninja:
+        time.sleep(1)
+
 def get_fake_options(prefix):
     import argparse
     opts = argparse.Namespace()