diff options
author | 2017-03-27 21:28:22 -0700 | |
---|---|---|
committer | 2017-03-27 21:28:22 -0700 | |
commit | 6e40ea0b652ad76d13f7ac65837ab6612d090af1 (patch) | |
tree | 49bcc1622aa8fc40e3bcf50442843d7c1c84c712 /tools/profiling | |
parent | a0af68d1e1490f8646a23bfb240fda45595ac26b (diff) |
Bugfix5
Diffstat (limited to 'tools/profiling')
-rwxr-xr-x | tools/profiling/microbenchmarks/bm_diff.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/profiling/microbenchmarks/bm_diff.py b/tools/profiling/microbenchmarks/bm_diff.py index 9f85d47ab4..a20b46342d 100755 --- a/tools/profiling/microbenchmarks/bm_diff.py +++ b/tools/profiling/microbenchmarks/bm_diff.py @@ -86,6 +86,7 @@ assert args.diff_base def collect1(bm, cfg, ver): subprocess.check_call(['make', 'clean']) + subprocess.check_call(['git', 'submodule', 'update']) subprocess.check_call( ['make', bm, 'CONFIG=%s' % cfg, '-j', '%d' % multiprocessing.cpu_count()]) |