diff options
| author | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-19 17:01:04 -0500 |
|---|---|---|
| committer | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-19 17:01:04 -0500 |
| commit | 00d91bed32ef55ce543af4da51b3aaf68fca50e9 (patch) | |
| tree | 90cee2c8afb99882fe31f90ab05166eb7521c724 | |
| parent | 22c265b170ec57fc78e9b2eb01ed2120e0116e95 (diff) | |
[travis check new boards] Add command so Travis runs the travis_new_boards_check.py script
| -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 |