diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index a443b17a971152e0adb84bd5509d41db6df1371c..8c8e78d8597461e2d08316dc3d00bb6ba274247c 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',