diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/profiling/microbenchmarks/bm_diff.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/profiling/microbenchmarks/bm_diff.py b/tools/profiling/microbenchmarks/bm_diff.py index f1d29ba3c6..0f54dbfe32 100755 --- a/tools/profiling/microbenchmarks/bm_diff.py +++ b/tools/profiling/microbenchmarks/bm_diff.py @@ -125,6 +125,7 @@ def collect1(bm, cfg, ver): '--benchmark_out_format=json', '--benchmark_repetitions=%d' % (args.repetitions) ] + print cmd subprocess.check_call(cmd) build() |