1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Merge mysql.com:/home/elkin/MySQL/BARE/5.0

into  mysql.com:/home/elkin/MySQL/MERGE/5.1-new
This commit is contained in:
aelkin@mysql.com
2006-04-25 20:05:15 +03:00
10 changed files with 107 additions and 14 deletions

View File

@ -3580,7 +3580,7 @@ sub valgrind_arguments {
if ( $opt_valgrind_options )
{
mtr_add_arg($args, split(' ', $opt_valgrind_options));
mtr_add_arg($args, '%s', $_) for (split(' ', $opt_valgrind_options));
}