djsundog/circuitpython
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix build board info for python3.5

Browse Source
This commit is contained in:
Scott Shawcroft 2018-12-10 13:17:05 -08:00
parent 21e2928313
commit 96e65fa641
No known key found for this signature in database
GPG Key ID: FD0EDC4B6C53CA59
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/build_board_info.py
View File

@ -215,7 +215,7 @@ def generate_download_info():
board_path = os.path.join("../ports", port, "boards")
for board_path in os.scandir(board_path):
if board_path.is_dir():
board_files = os.listdir(board_path)
board_files = os.listdir(board_path.path)
board_id = board_path.name
board_info = board_mapping[board_id]
@ -239,8 +239,10 @@ def generate_download_info():
changes["new_languages"] = set(languages) - previous_languages
if changes["new_languages"]:
if changes["new_release"]:
create_pr(changes, current_info, git_info)
else:
print("No new release to update")
if __name__ == "__main__":
if "TRAVIS_TAG" in os.environ and os.environ["TRAVIS_TAG"]: