From 7e4d7a5373f281c1448b650115ad1a6f79842e23 Mon Sep 17 00:00:00 2001 From: C47D Date: Thu, 25 Jul 2019 16:11:45 -0500 Subject: [PATCH] [travis check new boards] Fail in case of any missing boards --- tools/travis_new_boards_check.py | 1 + 1 file changed, 1 insertion(+) 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)