aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtests/runtests.pl8
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);