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

Merge mysql.com:/usr/local/mysql/mysql-4.1

into  mysql.com:/usr/local/mysql/mysql-5.0-mtr-fix
This commit is contained in:
knielsen@mysql.com
2006-04-24 23:51:47 +02:00
4 changed files with 39 additions and 5 deletions

View File

@ -3302,7 +3302,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));
}