diff options
Diffstat (limited to 'mysql-test/mysql-test-run.pl')
| -rwxr-xr-x | mysql-test/mysql-test-run.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mysql-test/mysql-test-run.pl b/mysql-test/mysql-test-run.pl index b2895f82beb..a22271bb15f 100755 --- a/mysql-test/mysql-test-run.pl +++ b/mysql-test/mysql-test-run.pl @@ -3665,7 +3665,7 @@ sub do_before_run_mysqltest($) # Remove old files produced by mysqltest die "unsupported result file name $resfile, stoping" unless - $resfile =~ /^(.*?)((?:,\w+)*)\.(rdiff|result)$/; + $resfile =~ /^(.*?)((?:,\w+)*)\.(rdiff|result|result~)$/; my ($base_file, $suites, $ext)= ($1, $2, $3); # if the result file is a diff, make a proper result file if ($ext eq 'rdiff') { |