diff --git a/Tools/autotest/autotest.py b/Tools/autotest/autotest.py index 5d362c41ec..ce62f81b6d 100755 --- a/Tools/autotest/autotest.py +++ b/Tools/autotest/autotest.py @@ -117,7 +117,8 @@ def build_binaries(): # copy the script (and various libraries used by the script) as it # changes git branch, which can change the script while running - for thing in "build_binaries.py", "generate_manifest.py", "gen_stable.py", "build_binaries_history.py", "board_list.py": + for thing in ["build_binaries.py", "generate_manifest.py", "gen_stable.py", "build_binaries_history.py", + "board_list.py", "build_sizes.py"]: orig = util.reltopdir('Tools/scripts/%s' % thing) copy = util.reltopdir('./%s' % thing) shutil.copy2(orig, copy)