diff options
Diffstat (limited to '.travis.yml')
| -rwxr-xr-x | .travis.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index d75b4e7d4..32511a21d 100755 --- a/.travis.yml +++ b/.travis.yml @@ -103,6 +103,10 @@ script: - cd tools && python3 -u build_release_files.py - cd .. + # Check if there's any board missing in TRAVIS_BOARDS + - cd tools && python3 -u travis_new_boards_check.py + - cd .. + - echo 'Building unix' && echo 'travis_fold:start:unix' - (! var_search "${TRAVIS_TESTS-}" unix || (make -C ports/unix deplibs -j2 && make -C ports/unix -j2 && make -C ports/unix coverage -j2)) ; S=$? ; echo $S > status ; (exit $S) - echo 'travis_fold:end:unix' && tools/print_status.py status |