diff options
author | Nikita Popov <nikic@php.net> | 2014-09-11 23:21:40 +0200 |
---|---|---|
committer | Nikita Popov <nikic@php.net> | 2014-09-13 21:02:04 +0200 |
commit | 3defdb18804650ddd82202f5cffbeb779a7a97d7 (patch) | |
tree | 7d36e4e889a9ff48c25fac320be231beced52705 /run-tests.php | |
parent | c030ff3e71c2a8d5633dd1abc424c0c97b64dffd (diff) | |
download | php-git-3defdb18804650ddd82202f5cffbeb779a7a97d7.tar.gz |
Also skip line-overwriting if SHOW_ONLY_GROUPS is used
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index e0f401c112..d069760122 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2572,7 +2572,7 @@ function show_result($result, $tested, $tested_file, $extra = '', $temp_filename if (!$SHOW_ONLY_GROUPS || in_array($result, $SHOW_ONLY_GROUPS)) { echo "$result $tested [$tested_file] $extra\n"; - } else { + } else if (!$SHOW_ONLY_GROUPS) { // Write over the last line to avoid random trailing chars on next echo echo str_repeat(" ", $line_length), "\r"; } |