From ab72618b71820601772b4ba8d93402433f72f6f8 Mon Sep 17 00:00:00 2001 From: unknown Date: Wed, 12 Apr 2006 14:32:34 +0200 Subject: [PATCH] Fix broken --valgrind-options option. --- mysql-test/mysql-test-run.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mysql-test/mysql-test-run.pl b/mysql-test/mysql-test-run.pl index 20bb6e0117a..aa9d22ffded 100755 --- a/mysql-test/mysql-test-run.pl +++ b/mysql-test/mysql-test-run.pl @@ -2436,7 +2436,7 @@ sub valgrind_arguments { if ( $opt_valgrind_options ) { # FIXME split earlier and put into @glob_valgrind_* - mtr_add_arg($args, split(' ', $opt_valgrind_options)); + mtr_add_arg($args, '%s', $_) for (split(' ', $opt_valgrind_options))); } mtr_add_arg($args, $$exe);