diff options
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()]) |