From 4c56271d1ea2cf0b9daa1a3cb613200009032c5b Mon Sep 17 00:00:00 2001 From: Stephen Gallagher Date: Wed, 13 Feb 2019 15:53:21 -0500 Subject: [PATCH] Fix Coverity scan detection Signed-off-by: Stephen Gallagher --- .travis/coverity_prep.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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!"