diff options
| author | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-25 16:11:45 -0500 |
|---|---|---|
| committer | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-25 16:11:45 -0500 |
| commit | 7e4d7a5373f281c1448b650115ad1a6f79842e23 (patch) | |
| tree | 8920981b26b4c6375b2799c8366f39951a15bec3 | |
| parent | 8864cefba6a6b307a2678d4de7540a9db15c03e1 (diff) | |
[travis check new boards] Fail in case of any missing boards
| -rw-r--r-- | tools/travis_new_boards_check.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/travis_new_boards_check.py b/tools/travis_new_boards_check.py index 81ccec675..5ae05aec4 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) |