Mirror/ardupilot
5
0
Fork 0
mirror of https://github.com/ArduPilot/ardupilot synced 2025-02-01 21:48:28 -04:00
Code Issues Packages Projects Releases Wiki Activity

Tools: don't publish elf files in build_binaries.py

Browse Source 
these just confuse users of ChibiOS
This commit is contained in:
Andrew Tridgell 2018-05-10 16:49:22 +10:00 committed by Peter Barker
parent 6f138ddcfa
commit 6ab96fe8a9
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Tools/scripts/build_binaries.py
View File

@ -393,12 +393,13 @@ is bob we will attempt to checkout bob-AVR'''
"bin",
"".join([binaryname, framesuffix]))
files_to_copy = []
if os.path.exists(bare_path):
files_to_copy.append(bare_path)
for extension in [".px4", ".apj", ".abin"]:
filepath = "".join([bare_path, extension])
if os.path.exists(filepath):
files_to_copy.append(filepath)
# only copy the elf if we don't have other files to copy
if os.path.exists(bare_path) and len(files_to_copy) == 0:
files_to_copy.append(bare_path)
for path in files_to_copy:
try: