Try 3.

4 years ago · 512875dbbd
parent 677b02f35b
commit 512875dbbd
1 changed files with 3 additions and 2 deletions
--- a/ci/install.sh
+++ b/ci/install.sh
@ -8,9 +8,10 @@ if [[ "$(uname -s)" == 'Linux' ]]; then
    sudo apt  update     --yes
    sudo apt  install    --yes cmake
    sudo apt  install    --yes zlib1g-dev libssh-dev python3-pip libxml2-utils
+    if [ -n "$WITH_VALGRIND" ]; then
        sudo apt install --yes valgrind
+    fi
    sudo apt  autoremove --yes
-    sudo pip3 install     --upgrade pip
 fi

 python3 --version