1#!/usr/bin/env bash 2 3set -x 4 5echo -n | openssl s_client -connect scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca- 6curl -s -L https://entrust.com/root-certificates/entrust_l1k.cer | tee -a /etc/pki/ca-trust/source/anchors/entrust_l1k.cer 7sudo update-ca-trust 8 9 10curl -s https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh -o /usr/bin/travisci_build_coverity_scan.sh 11 12if [ "$(file -b --mime-type /usr/bin/travisci_build_coverity_scan.sh)" == "text/x-shellscript" ]; then 13 chmod a+x /usr/bin/travisci_build_coverity_scan.sh 14else 15 echo "Warning: Coverity not detected!" 16 # Disable the scanning tool 17 ln -sf /usr/bin/true /usr/bin/travisci_build_coverity_scan.sh 18fi 19