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 8bf1253cf7cdc91f025d2c7cdeb46c7bdb920bd2..50870aaeaa3c10ee20574ea7d15da9bdc0ec27db 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -81,6 +81,8 @@ before_install:
   - date
   - if [ "$TRAVIS_OS_NAME" = osx ]; then brew update >/dev/null; fi
   - 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:
   - if [ "$TRAVIS_OS_NAME" = osx ]; then brew install libsmi | grep -v '%'; fi