diff options
| author | Dan Halbert <halbert@halwitz.org> | 2018-12-10 17:09:43 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-10 17:09:43 -0500 |
| commit | c3c600dfa3ddf6343e7b51a58669a3c3d3c5b58a (patch) | |
| tree | 954e5bba56c14994ae00de83474920e7fc61d207 | |
| parent | 4f7380147de0e025630e9ebcfe8eab7dd326e48b (diff) | |
| parent | 96e65fa6418eae46fcd85fbea557abf4e3b814fa (diff) | |
Merge pull request #1394 from tannewt/fix_board_info4.0.0-alpha.5
Fix build board info for python3.5
| -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"]: |