From ed8aa1a0701f511093def0a18d7158ae3b83d414 Mon Sep 17 00:00:00 2001
From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Fri, 4 Oct 2019 15:11:24 +0200
Subject: [PATCH] :wrench: Add coverity target

---
 Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

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
-- 
2.43.0