| Index: testing/scripts/run_gtest_perf_test.py
|
| diff --git a/testing/scripts/run_gtest_perf_test.py b/testing/scripts/run_gtest_perf_test.py
|
| index ac43ec75e0eb8327ca3a36e299b22b33b3d2b10b..5ad754e1dbc6e6cc50fd15c85db437ded9496c45 100755
|
| --- a/testing/scripts/run_gtest_perf_test.py
|
| +++ b/testing/scripts/run_gtest_perf_test.py
|
| @@ -86,12 +86,15 @@ def main():
|
| rc = 0
|
| try:
|
| executable = rest_args[0]
|
| + extra_flags = []
|
| + if len(rest_args) > 1:
|
| + extra_flags = rest_args[1:]
|
| if IsWindows():
|
| executable = '.\%s.exe' % executable
|
| else:
|
| executable = './%s' % executable
|
| with common.temporary_file() as tempfile_path:
|
| - valid = (common.run_command_with_output([executable],
|
| + valid = (common.run_command_with_output([executable] + extra_flags,
|
| env=env, stdoutfile=tempfile_path) == 0)
|
|
|
| # Now get the correct json format from the stdout to write to the
|
|
|