diff --git a/.travis/coverity_prep.sh b/.travis/coverity_prep.sh index 34ee76f3f..6f86ac4a7 100755 --- a/.travis/coverity_prep.sh +++ b/.travis/coverity_prep.sh @@ -1,10 +1,12 @@ #!/usr/bin/bash +set -x + echo -n | openssl s_client -connect scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca- curl -s https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh -o /usr/bin/travisci_build_coverity_scan.sh -if [ "$(file /usr/bin/travisci_build_coverity_scan.sh)" == "text/x-shellscript" ]; then +if [ "$(file -b --mime-type /usr/bin/travisci_build_coverity_scan.sh)" == "text/x-shellscript" ]; then chmod a+x /usr/bin/travisci_build_coverity_scan.sh else echo "Warning: Coverity not detected!"