diff --git a/.travis.yml b/.travis.yml index 074edeaa0c0..8d77b8678d7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -27,7 +27,7 @@ addons: description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org build_command_prepend: make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template - build_command: make test + build_command: make test_coverity branch_pattern: coverity_scan notifications: diff --git a/conf/conf_tests_coverity.xml b/conf/conf_tests_coverity.xml new file mode 100644 index 00000000000..c09e88bd9d9 --- /dev/null +++ b/conf/conf_tests_coverity.xml @@ -0,0 +1,299 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +