travis CHANGE try to switch of server cert verification for coverity
scan.coverity.com does not provide complete cert chain and curl fails
to validate the certificate.
diff --git a/.travis.yml b/.travis.yml
index cb7d2cf..6ad4326 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -41,6 +41,7 @@
- git rev-parse HEAD > $HOME/cache/coveritybuild
- cat $HOME/cache/coveritybuild
# get everything for coverity
+ - alias curl='curl -k'
- echo -n | openssl s_client -connect scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-certificates.crt
- sudo apt-get update -qq
script: