=== modified file 'runall.pl'
--- runall.pl	2013-01-25 11:23:33 +0000
+++ runall.pl	2013-05-21 09:50:43 +0000
@@ -298,7 +298,9 @@
 	if ((defined $valgrind) || (defined $valgrind_xml)) {
 		push @mtr_options, "--valgrind";
 		if (defined $valgrind_options) {
-			push @mtr_options, "--valgrind-option=".join(',', @$valgrind_options);
+			foreach (@$valgrind_options) {
+				push @mtr_options, "--valgrind-option=$_";
+			}
 		}
 		if (defined $valgrind_xml) {
 			push @mtr_options, "--valgrind-option='--xml=yes'";