mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-04-24 17:25:31 +02:00
Code Issues Projects Releases Packages Wiki Activity

merge 55178,55413,56383

Browse source
This commit is contained in:
Bjorn Munch 2010-09-10 09:58:26 +02:00
commit 223112ad42
5 changed files with 50 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

7
mysql-test/lib/mtr_cases.pm
View file

@ -684,6 +684,13 @@ sub process_opts_file {
next;
}
$value= mtr_match_prefix($opt, "--testcase-timeout=");
if ( defined $value ) {
# Overrides test case timeout for this test
$tinfo->{'case-timeout'}= $value;
next;
}
# Ok, this was a real option, add it
push(@{$tinfo->{$opt_name}}, $opt);
}