diff --git a/tools/travis_new_boards_check.py b/tools/travis_new_boards_check.py index 81ccec6754..5ae05aec45 100644 --- a/tools/travis_new_boards_check.py +++ b/tools/travis_new_boards_check.py @@ -48,3 +48,4 @@ if missing_boards: print('Boards missing in TRAVIS_BOARDS:') for board in missing_boards: print(board) + sys.exit(1)