From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 16 Feb 2020 21:03:13 +0000 (+0100)
Subject: :wrench: Remove coverity-scan recipe
X-Git-Tag: nightly~1897
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=41e519b804b7b8820a77c48c3bc001969da9f4e1;p=gwion.git

:wrench: Remove coverity-scan recipe
---

diff --git a/Makefile b/Makefile
index a0e823d1..3f883126 100644
--- a/Makefile
+++ b/Makefile
@@ -101,12 +101,5 @@ uninstall:
 test:
 	@bash scripts/test.sh ${test_dir}
 
-coverity:
-	[ -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 || echo ""
-	git checkout -b coverity_scan
-	git push --set-upstream origin coverity_scan
-	git checkout ${GIT_BRANCH}
-
 include $(wildcard .d/*.d)
 include util/intl.mk