1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

MDEV-17076: increment only if saving occurs

This commit is contained in:
Teodor Mircea Ionita
2018-08-27 16:43:29 +03:00
committed by Daniel Black
parent c81a2d2322
commit 1ce97358bb

View File

@ -724,9 +724,9 @@ sub run_test_server ($$$) {
{ {
mtr_report(" - saving '$worker_savedir/' to '$savedir/'"); mtr_report(" - saving '$worker_savedir/' to '$savedir/'");
rename($worker_savedir, $savedir); rename($worker_savedir, $savedir);
$num_saved_datadir++;
} }
resfile_print_test(); resfile_print_test();
$num_saved_datadir++;
$num_failed_test++ unless ($result->{retries} || $num_failed_test++ unless ($result->{retries} ||
$result->{exp_fail}); $result->{exp_fail});