diff options
-rwxr-xr-x | run-tests.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 31bea0c522..d4ab060f32 100755 --- a/run-tests.php +++ b/run-tests.php @@ -886,6 +886,9 @@ TEST $file fwrite($failed_tests_file, "$tested: $name\n"); } } + + echo "---> $IN_REDIRECT[TESTS] ($tested) done\n"; + $GLOBALS['test_idx'] = $test_idx; $test_files = $saved_test_files; |