From 74a29c8d4bea44e4d5d759985ebbd90108e204c5 Mon Sep 17 00:00:00 2001
From: Wilco Baan Hofman <wilco@baanhofman.nl>
Date: Mon, 28 Nov 2016 21:49:57 +0100
Subject: [PATCH] Add coverity checks to makefile

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

diff --git a/Makefile b/Makefile
index 012bf61..5dce2b2 100644
--- a/Makefile
+++ b/Makefile
@@ -13,3 +13,10 @@ distclean:
 ctags:
 	@ctags `find -name \*.[ch]`
 
+coverity:
+	@if [ -d cov-int ]; then rm -rf cov-int;fi
+	@mkdir cov-int
+	@cov-build --dir=cov-int bin/waf configure clean build
+	@tar cvzf coverity_siahsd.tgz cov-int
+	@rm -rf cov-int
+