From bfdfe1e607c5b03fc93892fa5b45faf218b2658c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Fri, 18 Feb 2022 19:55:34 +0100 Subject: [PATCH] run-coverity: updated coverity tool --- tools/run-coverity.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/run-coverity.sh b/tools/run-coverity.sh index 3404ffd30..0887ab657 100644 --- a/tools/run-coverity.sh +++ b/tools/run-coverity.sh @@ -1,5 +1,5 @@ #!/bin/bash -PATH=$PATH:/home/danielmarjamaki/cov-analysis-linux64-2019.03/bin +PATH=$PATH:/home/danielmarjamaki/cov-analysis-linux64-2021.12.1/bin cd /home/danielmarjamaki/cppcheck-devinfo || exit 1 git pull