diff options
author | Craig Tiller <ctiller@google.com> | 2017-03-01 14:15:46 -0800 |
---|---|---|
committer | Craig Tiller <ctiller@google.com> | 2017-03-01 14:15:46 -0800 |
commit | dce26f422c5babadaa46d23b5ab0e26757d968b6 (patch) | |
tree | 6eafd06461f8417630b7091990b55fea0d40f42d /tools | |
parent | 5ef448d2186cef69bed3c0212782032140aa5565 (diff) |
Make clean
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/run_tests/run_microbenchmark.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/run_tests/run_microbenchmark.py b/tools/run_tests/run_microbenchmark.py index 4ee34957e4..f72ec72dce 100755 --- a/tools/run_tests/run_microbenchmark.py +++ b/tools/run_tests/run_microbenchmark.py @@ -238,6 +238,7 @@ if args.diff_perf: where_am_i = subprocess.check_call(['git', 'rev-parse', '--abbrev-ref', 'HEAD']) subprocess.check_call(['git', 'checkout', args.diff_perf]) comparables = [] + subprocess.check_call(['make', 'clean']) try: for bm_name in args.benchmarks: try: |