From 77005ff2dbeb202a89f656583fa25efa83ac314c Mon Sep 17 00:00:00 2001 From: Andrea Mazzoleni Date: Mon, 24 May 2021 19:43:27 +0200 Subject: [PATCH] Update coverity --- makescan.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makescan.sh b/makescan.sh index 8ffe9759..1878da5b 100755 --- a/makescan.sh +++ b/makescan.sh @@ -14,7 +14,7 @@ if ! ./configure ; then exit 1 fi -export PATH=$PATH:contrib/cov-analysis-linux64-2017.07/bin +export PATH=$PATH:contrib/cov-analysis-linux64-2020.09/bin if ! cov-build --dir cov-int make; then exit 1