From 41e519b804b7b8820a77c48c3bc001969da9f4e1 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Sun, 16 Feb 2020 22:03:13 +0100
Subject: [PATCH] :wrench: Remove coverity-scan recipe

---
 Makefile | 7 -------
 1 file changed, 7 deletions(-)

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