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 |