From: Martin Quinson Date: Sat, 20 Feb 2016 14:43:31 +0000 (+0100) Subject: [travis] fix the coverity branch name X-Git-Tag: v3_13~768 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/82df39bf6b6142840ee7e39d86463508b8486d97?ds=sidebyside [travis] fix the coverity branch name --- diff --git a/.travis.yml b/.travis.yml index 273568451e..6553d7d436 100644 --- a/.travis.yml +++ b/.travis.yml @@ -28,7 +28,7 @@ addons: notification_email: martin.quinson@ens-rennes.fr build_command_prepend: "cmake -Denable_documentation=OFF -Denable_coverage=OFF -Denable_java=OFF -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=OFF -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=OFF ." build_command: "make VERBOSE=1" - branch_pattern: coverity_scan + branch_pattern: coverity # Don't install lua from Debian as we need 5.3 and don't have a backport. # Installing lua from the source does not make any dynamic library.