From bbabc66c3eded4c1f3defd45aeb3710af9da7756 Mon Sep 17 00:00:00 2001
From: Hans Dembinski <hans.dembinski@gmail.com>
Date: Thu, 25 Apr 2019 15:55:36 +0200
Subject: [PATCH] fix

---
 Tools/coverage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/coverage.sh b/Tools/coverage.sh
index 19cbd47c..2e2223c4 100755
--- a/Tools/coverage.sh
+++ b/Tools/coverage.sh
@@ -8,7 +8,7 @@ LCOV_VERSION="1.13"
 LCOV_DIR="lcov-${LCOV_VERSION}"
 
 if [ ! -e $LCOV_DIR ]; then
-  wget -O - https://github.com/linux-test-project/lcov/releases/download/v${LCOV_VERSION}/lcov-${LCOV_VERSION}.tar.gz | tar zxf -
+  curl -L https://github.com/linux-test-project/lcov/releases/download/v${LCOV_VERSION}/lcov-${LCOV_VERSION}.tar.gz | tar zxf -
 fi
 
 # LCOV="$LCOV_EXE --gcov-tool=${GCOV} --rc lcov_branch_coverage=1"
-- 
GitLab