diff options
author | 2017-04-14 08:27:39 -0700 | |
---|---|---|
committer | 2017-04-14 08:27:39 -0700 | |
commit | a00e51ccfee3ca6877ef568c8a5d65867ce974ca (patch) | |
tree | 2b23163fec96afcb64d5b88f78031b7b14d07fe4 /tools | |
parent | 233ad390fa30ff90d927dd29f277a914a0cf0621 (diff) |
Fix dir names
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/profiling/microbenchmarks/bm_diff.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/tools/profiling/microbenchmarks/bm_diff.py b/tools/profiling/microbenchmarks/bm_diff.py index d1d49037cb..634e281446 100755 --- a/tools/profiling/microbenchmarks/bm_diff.py +++ b/tools/profiling/microbenchmarks/bm_diff.py @@ -124,10 +124,10 @@ def build(dest): subprocess.check_call(['make', 'clean']) subprocess.check_call(make_cmd('opt')) subprocess.check_call(make_cmd('counters')) - os.rename('bin', dest) + os.rename('bins', dest) def collect1(bm, cfg, ver, idx): - cmd = ['bins/%s/%s' % (cfg, bm), + cmd = ['%s/%s/%s' % (ver, cfg, bm), '--benchmark_out=%s.%s.%s.%d.json' % (bm, cfg, ver, idx), '--benchmark_out_format=json', '--benchmark_repetitions=%d' % (args.repetitions) @@ -139,7 +139,6 @@ build('new') where_am_i = subprocess.check_output(['git', 'rev-parse', '--abbrev-ref', 'HEAD']).strip() subprocess.check_call(['git', 'checkout', args.diff_base]) - try: build('old') finally: |