[travis] remove coverity as it seems to break everything

diff --git a/.travis.yml b/.travis.yml
index 513b873..b9af433 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -22,13 +22,13 @@ addons:
     - gcc-4.7
     - g++-4.7
 #      - clang
     - gcc-4.7
     - g++-4.7
 #      - clang

-- coverity_scan:
-    project:
-      name: "mquinson/simgrid"
-    notification_email: martin.quinson@loria.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 ."  coverity_scan:
-    build_command:   "make VERBOSE=1"
-    branch_pattern: coverity_scan
+#- coverity_scan:
+#    project:
+#      name: "mquinson/simgrid"
+#    notification_email: martin.quinson@loria.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 ."  coverity_scan:
+#    build_command:   "make VERBOSE=1"
+#    branch_pattern: coverity_scan

 
 # 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.
 
 # 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.