diff options
author | Jussi Pakkanen <jpakkane@gmail.com> | 2017-05-09 18:41:51 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-09 18:41:51 +0300 |
commit | 69abca2a673bed039ed28c1b42f9547915bf5347 (patch) | |
tree | 3aa4006cedfe887dda2cf1db9720e7d860be69bd /run_tests.py | |
parent | ebfaf3a16f9f397b95601f0f472ec852899f909d (diff) | |
parent | 830b44867cc3747f186c4a737675b067bb94fae2 (diff) | |
download | meson-69abca2a673bed039ed28c1b42f9547915bf5347.zip meson-69abca2a673bed039ed28c1b42f9547915bf5347.tar.gz meson-69abca2a673bed039ed28c1b42f9547915bf5347.tar.bz2 |
Merge pull request #1751 from centricular/fix-cached-deps
Fix caching of external dependencies of various types
Diffstat (limited to 'run_tests.py')
-rwxr-xr-x | run_tests.py | 8 |
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() |