mirror of https://github.com/ARMmbed/mbed-os.git
Add check for correct library naming to CI
parent
64d3fd464b
commit
e4e855bc13
|
@ -5,6 +5,9 @@ script:
|
||||||
- mkdir BUILD && doxygen doxyfile_options
|
- mkdir BUILD && doxygen doxyfile_options
|
||||||
- |
|
- |
|
||||||
[ -z "`doxygen doxyfile_options 2>&1`" ]
|
[ -z "`doxygen doxyfile_options 2>&1`" ]
|
||||||
|
- find -name "*.a" -and -not -name "lib*.a"
|
||||||
|
- |
|
||||||
|
[ -z '`find -name "*.a" -and -not -name "lib*.a"`' ]
|
||||||
- make -C events/equeue test clean
|
- make -C events/equeue test clean
|
||||||
- PYTHONPATH=. python tools/test/config_test/config_test.py
|
- PYTHONPATH=. python tools/test/config_test/config_test.py
|
||||||
- PYTHONPATH=. python tools/test/build_api/build_api_test.py
|
- PYTHONPATH=. python tools/test/build_api/build_api_test.py
|
||||||
|
|
Loading…
Reference in New Issue