diff options
| -rwxr-xr-x | tests/runtests.pl | 13 | 
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index cbd40e7d9..e9f5b9ab4 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -4901,6 +4901,19 @@ if ( $TESTCASES eq "all") {          $TESTCASES .= " $n";      }  } +else { +    my $verified=""; +    map { +        if (-e "$TESTDIR/test$_") { +            $verified.="$_ "; +        } +    } split(" ", $TESTCASES); +    if($verified eq "") { +        print "No existing test cases were specified\n"; +        exit; +    } +    $TESTCASES = $verified; +}  #######################################################################  # Start the command line log  | 
