From 512875dbbdd2d97b110b5dd10bd3a80d12ca87e0 Mon Sep 17 00:00:00 2001
From: Robin Mills <robin@clanmills.com>
Date: Sun, 11 Apr 2021 12:34:19 +0100
Subject: [PATCH] Try 3.

---
 ci/install.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ci/install.sh b/ci/install.sh
index d9cb5458..9b14ce93 100755
--- 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
-    sudo apt  install    --yes valgrind
+    if [ -n "$WITH_VALGRIND" ]; then
+        sudo apt install --yes valgrind
+    fi
     sudo apt  autoremove --yes
-    sudo pip3 install     --upgrade pip
 fi
 
 python3 --version