Travis CI: Workaround for the Coverity certificate problem

The error message was:
"curl: (60) server certificate verification failed."

diff --git a/.travis.yml b/.travis.yml
index cc8d8a3b06b733d2db7b53fbcac1d5979c51193e..ce50fcfeedcd4b9e4cd782e657c6e7b578548183 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -67,6 +67,8 @@ before_install:
   - uname -a
   - date
   - if [ "$TRAVIS_OS_NAME" = linux ]; then dpkg-query -f '${Package}__${Version}__${Architecture}\n' -W 'lib*-dev'; fi
+  - if [ "$TRAVIS_OS_NAME" = linux ]; then sudo curl -s -L https://entrust.com/root-certificates/entrust_l1k.cer -o /usr/local/share/ca-certificates/entrust_l1k.crt; fi
+  - if [ "$TRAVIS_OS_NAME" = linux ]; then sudo update-ca-certificates; fi
 
 install: