From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Fri, 4 Oct 2019 13:11:24 +0000 (+0200)
Subject: :wrench: Add coverity target
X-Git-Tag: nightly~2198^2~140
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=ed8aa1a0701f511093def0a18d7158ae3b83d414;p=gwion.git

:wrench: Add coverity target
---

diff --git a/Makefile b/Makefile
index 06945d36..44215939 100644
--- a/Makefile
+++ b/Makefile
@@ -112,6 +112,15 @@ uninstall:
 test:
 	@bash scripts/test.sh ${test_dir}
 
+coverity:
+  git branch | grep "*" | cut -d" " -f2 > .branch
+	[ -z "$(git ls-remote --heads $(git remote get-url origin) coverity_scan)" ] || git push origin :coverity_scan
+	git show-ref --verify --quiet refs/heads/master && git branch -D coverity_scan
+	git checkout -b coverity_scan
+	git push --set-upstream origin coverity_scan
+  git checkout $(cat .branch)
+	rm .branch
+
 include $(wildcard .d/*.d)
 include util/intl.mk
 include docs.mk