:wrench: Remove coverity-scan recipe

diff --git a/Makefile b/Makefile
index a0e823d19789b4dc21924b0dbc8f2327f24377d0..3f883126abb40c16c9b9fa78e10abd39392caf95 100644 (file)
--- 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