diff --git a/tests/runtests.pl b/tests/runtests.pl index 7a5f8a5047..50c8683901 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);