From 50a1423ec617ddf9e17b7b46e51c16c02097ba90 Mon Sep 17 00:00:00 2001
From: Bo-Yuan Huang <byhuang1992@gmail.com>
Date: Tue, 7 Jul 2020 23:46:31 -0400
Subject: [PATCH] Put back the sudo for opening ssl client - ignoring the
 warning

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 40480f3d5..280ef4541 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -56,7 +56,7 @@ jobs:
             - z3
             - libz3-dev
       before_install:
-        - echo -n | openssl s_client -connect https://scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | tee -a /etc/ssl/certs/ca- 
+        - echo -n | openssl s_client -connect https://scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-
       before_script:
         - eval "${MATRIX_EVAL}"
         - source $TRAVIS_BUILD_DIR/scripts/travis/install-externs.sh $TRAVIS_BUILD_DIR