Add coverity checks to makefile

This commit is contained in:
Wilco Baan Hofman 2016-11-28 21:49:57 +01:00
parent e8a135d127
commit 74a29c8d4b

View file

@ -13,3 +13,10 @@ distclean:
ctags: ctags:
@ctags `find -name \*.[ch]` @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