runtests.pl: make -s not show skipped tests

diff --git a/tests/runtests.pl b/tests/runtests.pl
index 15461d63d867edb210440bf16a632c09d567f5e7..8d0ff481f8758ff644df5a42a27b79108ab11ab5 100755 (executable)
--- 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";