diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/travis_new_boards_check.py | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/tools/travis_new_boards_check.py b/tools/travis_new_boards_check.py index 568df50ae..f4492830d 100644 --- a/tools/travis_new_boards_check.py +++ b/tools/travis_new_boards_check.py @@ -45,16 +45,10 @@ with open(travis_path, 'r') as travis: info_boards.sort() travis_boards.sort() -exit_status = 0 - missing_boards = list(set(info_boards) - set(travis_boards)) if len(missing_boards) is not 0: - exit_status = 1 - -if exit_status is 1: print('Boards missing in TRAVIS_BOARDS:') for board in missing_boards: print(board) - -sys.exit(exit_status) + sys.exit(1) |