diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2018-12-10 13:17:05 -0800 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2018-12-10 13:17:05 -0800 |
| commit | 96e65fa6418eae46fcd85fbea557abf4e3b814fa (patch) | |
| tree | 26d1763a1e41ba7e478a074274b73bfbdb841af7 /tools/build_board_info.py | |
| parent | 21e29283138a059cb2e27f136db611824652ece6 (diff) | |
Fix build board info for python3.5
Diffstat (limited to 'tools/build_board_info.py')
| -rw-r--r-- | tools/build_board_info.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/build_board_info.py b/tools/build_board_info.py index df43f74fc..eb9f28d90 100644 --- a/tools/build_board_info.py +++ b/tools/build_board_info.py @@ -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"]: |