mirror of
https://github.com/ArduPilot/ardupilot
synced 2025-01-22 08:38:36 -04:00
Tools: copy board_list.py for build_binaries.py
This commit is contained in:
parent
849e30b074
commit
2b1e80c70d
@ -116,7 +116,7 @@ def build_binaries():
|
|||||||
|
|
||||||
# copy the script (and various libraries used by the script) as it
|
# copy the script (and various libraries used by the script) as it
|
||||||
# changes git branch, which can change the script while running
|
# 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":
|
for thing in "build_binaries.py", "generate_manifest.py", "gen_stable.py", "build_binaries_history.py", "board_list.py":
|
||||||
orig = util.reltopdir('Tools/scripts/%s' % thing)
|
orig = util.reltopdir('Tools/scripts/%s' % thing)
|
||||||
copy = util.reltopdir('./%s' % thing)
|
copy = util.reltopdir('./%s' % thing)
|
||||||
shutil.copy2(orig, copy)
|
shutil.copy2(orig, copy)
|
||||||
|
Loading…
Reference in New Issue
Block a user