diff options
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: |