diff options
| author | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-23 13:03:29 -0500 |
|---|---|---|
| committer | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-23 13:03:29 -0500 |
| commit | 8864cefba6a6b307a2678d4de7540a9db15c03e1 (patch) | |
| tree | 24d6eba70646e226ed40e325d78b13f0b762fb9c | |
| parent | c316231dd23f333cd8d7be869f8018bd17082fda (diff) | |
[travis check new boards] missing_boards as set
| -rw-r--r-- | tools/travis_new_boards_check.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/travis_new_boards_check.py b/tools/travis_new_boards_check.py index facfb601d..81ccec675 100644 --- a/tools/travis_new_boards_check.py +++ b/tools/travis_new_boards_check.py @@ -42,9 +42,9 @@ with open(travis_path, 'r') as travis: info_boards.sort() travis_boards.sort() -missing_boards = list(set(info_boards) - set(travis_boards)) +missing_boards = set(info_boards) - set(travis_boards) -if len(missing_boards) is not 0: +if missing_boards: print('Boards missing in TRAVIS_BOARDS:') for board in missing_boards: print(board) |