diff -r 9bed13113742 -r 730303014491 tests/run-tests.py --- a/tests/run-tests.py Mon May 02 10:11:18 2011 +0200 +++ b/tests/run-tests.py Wed May 04 10:39:10 2011 -0500 @@ -917,6 +917,9 @@ name = '--' + opt.replace('_', '-') if value is True: opts.append(name) + elif isinstance(value, list): + for v in value: + opts.append(name + '=' + str(v)) elif value is not None: opts.append(name + '=' + str(value))