:wrench: Add coverity target

diff --git a/Makefile b/Makefile
index 06945d36064c84f6f861a975e9c3a229b1e6b378..442159392c694091e0dee54f951a12ba48e960fa 100644 (file)
--- 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