diff options
author | 2015-04-16 08:01:49 -0700 | |
---|---|---|
committer | 2015-04-16 14:22:28 -0700 | |
commit | 6902ad2e9c1e409b37b9b21a95e69a89b2be402f (patch) | |
tree | 29da7123f1db30b0b10cf4921a1e26be114f7c27 /tools | |
parent | b12dc6b5bc448d58bc726c7f36ae9eecc8e4741b (diff) |
Switching to batch oriented metadata passing
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/run_tests/run_tests.py | 1 | ||||
-rw-r--r-- | tools/run_tests/tests.json | 9 |
2 files changed, 1 insertions, 9 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index a443b17a97..8c8e78d859 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -444,6 +444,7 @@ if forever: previous_success = success success = _build_and_run(check_cancelled=have_files_changed, newline_on_success=False, + travis=args.travis, cache=test_cache) == 0 if not previous_success and success: jobset.message('SUCCESS', diff --git a/tools/run_tests/tests.json b/tools/run_tests/tests.json index 3b966a3c86..5b47696aaf 100644 --- a/tools/run_tests/tests.json +++ b/tools/run_tests/tests.json @@ -471,15 +471,6 @@ { "flaky": false, "language": "c", - "name": "metadata_buffer_test", - "platforms": [ - "windows", - "posix" - ] - }, - { - "flaky": false, - "language": "c", "name": "multi_init_test", "platforms": [ "windows", |