aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorGravatar Craig Tiller <ctiller@google.com>2017-03-01 14:15:46 -0800
committerGravatar Craig Tiller <ctiller@google.com>2017-03-01 14:15:46 -0800
commitdce26f422c5babadaa46d23b5ab0e26757d968b6 (patch)
tree6eafd06461f8417630b7091990b55fea0d40f42d /tools
parent5ef448d2186cef69bed3c0212782032140aa5565 (diff)
Make clean
Diffstat (limited to 'tools')
-rwxr-xr-xtools/run_tests/run_microbenchmark.py1
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: