diff options
author | 2017-03-01 13:38:37 -0800 | |
---|---|---|
committer | 2017-03-01 13:38:37 -0800 | |
commit | f9abb2921b4e7808af4ab0dc8681d9435705aad9 (patch) | |
tree | a8d63e18062adcd8032ebb507a32c02f1a44e563 /tools/run_tests/run_microbenchmark.py | |
parent | 1747ed5255a3e63aa4d1670ca57c3ba4fc17c428 (diff) |
Reserve opt for external builds, use lto for profiling
Diffstat (limited to 'tools/run_tests/run_microbenchmark.py')
-rwxr-xr-x | tools/run_tests/run_microbenchmark.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/run_tests/run_microbenchmark.py b/tools/run_tests/run_microbenchmark.py index c6cc60715e..561867d82d 100755 --- a/tools/run_tests/run_microbenchmark.py +++ b/tools/run_tests/run_microbenchmark.py @@ -183,7 +183,7 @@ def run_summary(cfg): def collect_summary(bm_name, args): heading('Summary: %s [no counters]' % bm_name) - text(run_summary('opt')) + text(run_summary('lto')) heading('Summary: %s [with counters]' % bm_name) text(run_summary('counters')) if args.bigquery_upload: |