diff options
| author | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-23 13:02:07 -0500 |
|---|---|---|
| committer | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-23 13:02:07 -0500 |
| commit | c316231dd23f333cd8d7be869f8018bd17082fda (patch) | |
| tree | 740bb83e9f3726cb93d083d9276d52a537680d78 | |
| parent | b630e561a7186637965560c4a902b1811c8b90c3 (diff) | |
[travis check new boards] Do not end test if there are missing boards
| -rw-r--r-- | tools/travis_new_boards_check.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/travis_new_boards_check.py b/tools/travis_new_boards_check.py index 7e8116a1a..facfb601d 100644 --- a/tools/travis_new_boards_check.py +++ b/tools/travis_new_boards_check.py @@ -48,4 +48,3 @@ if len(missing_boards) is not 0: print('Boards missing in TRAVIS_BOARDS:') for board in missing_boards: print(board) - sys.exit(1) |