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