1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl
index 15461d63d..8d0ff481f 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";