mirror of https://github.com/ARMmbed/mbed-os.git
Correct travis coverage reporting
parent
9d0e8abb11
commit
6bf7718c8d
|
|
@ -19,10 +19,10 @@ script:
|
||||||
- |
|
- |
|
||||||
find -name "*.s" | tee BUILD/badasm | sed -e "s/^/Bad Assembler file name found: /" && [ ! -s BUILD/badasm ]
|
find -name "*.s" | tee BUILD/badasm | sed -e "s/^/Bad Assembler file name found: /" && [ ! -s BUILD/badasm ]
|
||||||
- make -C events/equeue test clean
|
- make -C events/equeue test clean
|
||||||
- PYTHONPATH=. coverage run -m pytest tools/test
|
- PYTHONPATH=. coverage run -a -m pytest tools/test
|
||||||
- coverage run tools/test/pylint.py
|
- python2 tools/test/pylint.py
|
||||||
- coverage run tools/project.py -S
|
- coverage run -a tools/project.py -S
|
||||||
- coverage run tools/build_travis.py
|
- python2 tools/build_travis.py
|
||||||
- coverage html
|
- coverage html
|
||||||
after_success:
|
after_success:
|
||||||
- coveralls
|
- coveralls
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue