From 6e00db379fbaa54e024456a52719394831700d40 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Tue, 3 Sep 2019 21:28:57 +0200 Subject: [PATCH] Update run-coverity.sh script --- 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 79f42893d..1997664d5 100644 --- a/tools/run-coverity.sh +++ b/tools/run-coverity.sh @@ -1,5 +1,5 @@ #!/bin/bash -PATH=$PATH:/home/danielmarjamaki/cov-analysis-linux64-2017.07/bin +PATH=$PATH:/home/danielmarjamaki/cov-analysis-linux64-2019.03/bin cd /home/danielmarjamaki/cppcheck-cov git pull