From 04295802f9548e2e6bac6e2f7c2555d2ef2d279a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Wed, 4 Sep 2019 17:12:03 +0200
Subject: [PATCH] fix run-coverity.sh script. It will run in the
 cppcheck-devinfo folder from now on.

---
 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 1997664d5..689c24f4e 100644
--- a/tools/run-coverity.sh
+++ b/tools/run-coverity.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 PATH=$PATH:/home/danielmarjamaki/cov-analysis-linux64-2019.03/bin
-cd /home/danielmarjamaki/cppcheck-cov
+cd /home/danielmarjamaki/cppcheck-devinfo
 git pull
 
 echo Analyze