diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/travis_new_boards_check.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/travis_new_boards_check.py b/tools/travis_new_boards_check.py index 0d6d4ebf9..389c2a237 100644 --- a/tools/travis_new_boards_check.py +++ b/tools/travis_new_boards_check.py @@ -11,6 +11,8 @@ boards_info_json = build_board_info.get_board_mapping() # Get all the boards out of the json format info_boards = boards_info_json.keys() +# Turn the dict_keys into a list +info_boards = list(info_boards) # We need to know the path of the .travis.yml file base_path = os.path.dirname(__file__) @@ -38,4 +40,6 @@ with open(travis_path, 'r') as travis: else: pass -# TODO (Carlos) Comparing boards listed in TRAVIS_BOARDS and boards got from get_board_mapping +# All the travis_boards elements must be on info_boards +info_boards.sort() +travis_boards.sort() |