diff --git a/tests/runtests.pl b/tests/runtests.pl index 15461d63d867edb210440bf16a632c09d567f5e7..8d0ff481f8758ff644df5a42a27b79108ab11ab5 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -4335,7 +4335,7 @@ if($all) { sprintf("%.0f", $sofar) ." seconds.\n"; } -if($skipped) { +if($skipped && !$short) { my $s=0; logmsg "TESTINFO: $skipped tests were skipped due to these restraints:\n";