diff options
| author | sommersoft <sommersoft@users.noreply.github.com> | 2019-07-21 12:13:13 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-21 12:13:13 -0500 |
| commit | b630e561a7186637965560c4a902b1811c8b90c3 (patch) | |
| tree | b9e579a056638962161aa976d8e4caf551177aff /tools | |
| parent | d1fecf5025958ac4c2447a3757ab03a0bfdebdbf (diff) | |
exclude aliased boards from 'get_board_mapping()'
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/travis_new_boards_check.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/travis_new_boards_check.py b/tools/travis_new_boards_check.py index 01751b4b9..7e8116a1a 100644 --- a/tools/travis_new_boards_check.py +++ b/tools/travis_new_boards_check.py @@ -10,9 +10,7 @@ import build_board_info 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) +info_boards = [board for board in boards_info_json.keys() if not boards_info_json[board].get("alias", False)] # We need to know the path of the .travis.yml file base_path = os.path.dirname(__file__) |