diff options
| -rw-r--r-- | src/tools/msvc/vcregress.pl | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/tools/msvc/vcregress.pl b/src/tools/msvc/vcregress.pl index eeba30ec8b9..2ee9e48d3ac 100644 --- a/src/tools/msvc/vcregress.pl +++ b/src/tools/msvc/vcregress.pl @@ -227,11 +227,20 @@ sub bincheck sub taptest { my $dir = shift; + my @args; + + if ($dir =~ /^PROVE_FLAGS=/) + { + push(@args, $dir); + $dir = shift; + } die "no tests found!" unless -d "$topdir/$dir/t"; + push(@args,"$topdir/$dir); + InstallTemp(); - my $status = tap_check("$topdir/$dir"); + my $status = tap_check(@args); exit $status if $status; } |