diff options
-rwxr-xr-x | tests/runtests.pl | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index 7a5f8a504..50c868390 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -5588,7 +5588,13 @@ foreach $testnum (@at) { $total++; # number of tests we've run if($error>0) { - $failed.= "$testnum "; + if($error==2) { + # ignored test failures are wrapped in () + $failed.= "($testnum) "; + } + else { + $failed.= "$testnum "; + } if($postmortem) { # display all files in log/ in a nice way displaylogs($testnum); |