diff options
| author | Ken Raeburn <raeburn@mit.edu> | 2008-08-27 16:45:55 +0000 |
|---|---|---|
| committer | Ken Raeburn <raeburn@mit.edu> | 2008-08-27 16:45:55 +0000 |
| commit | 4ca67c5d451c786407b834f7214f232773eb5760 (patch) | |
| tree | c8ac1c7817f166f912597efbcc7e6d1d23866d71 /src/Makefile.in | |
| parent | 8acb29c6f3259749c85985c2df6b0cbd870c52f6 (diff) | |
| download | krb5-4ca67c5d451c786407b834f7214f232773eb5760.tar.gz krb5-4ca67c5d451c786407b834f7214f232773eb5760.tar.xz krb5-4ca67c5d451c786407b834f7214f232773eb5760.zip | |
Some helper rules for running Coverity Prevent
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@20698 dc483132-0cff-0310-8789-dd5450dbe970
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index fceeaa4683..0fb2b2d379 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -632,3 +632,33 @@ krb5-config: $(srcdir)/krb5-config.in $(thisconfigdir)/config.status check-unix:: krb5-config $(SHELL) $(srcdir)/t_krbconf check-prerecurse: fake-install + +COV_BUILD= cov-build +COV_ANALYZE= cov-analyze +COV_COMMIT= cov-commit-defects --product "$(COV_PRODUCT)" --user "$(COV_USER)" --target "$(COV_TARGET)" --description "$(COV_DESC)" +COV_MAKE_LIB= cov-make-library + +COV_PRODUCT= krb5 +COV_USER= admin +COV_DATADIR= +COV_TARGET= $(host) +COV_DESC= + +# Set to, e.g., "--all" or "--security". +COV_ANALYSES= +# Temporary directory, might as well put it in the build tree. +COV_TEMPDIR= cov-temp +# Sources modeling some functions or macros confusing Prevent. +COV_MODELS=\ + $(SRCTOP)/util/coverity-models/threads.c + +# Depend on Makefiles to ensure that (in maintainer mode) the configure +# scripts won't get rerun under cov-build. +coverity prevent cov: Makefiles + $(COV_BUILD) --dir $(COV_TEMPDIR) $(MAKE) all + $(COV_ANALYZE) $(COV_ANALYSES) --dir $(COV_TEMPDIR) + if test "$(COV_DATADIR)" != ""; then \ + $(COV_COMMIT) --dir $(COV_TEMPDIR) --datadir $(COV_DATADIR); \ + else \ + echo "** Coverity Prevent analysis results not commit to Defect Manager"; \ + fi |