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

Merge pull request #1394 from tannewt/fix_board_info

Browse Source 
Fix build board info for python3.5
This commit is contained in:
Dan Halbert 2018-12-10 17:09:43 -05:00 committed by GitHub
commit c3c600dfa3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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"]: