From 1dc39e9d995a8c9363003b589b271067709604a0 Mon Sep 17 00:00:00 2001
From: "Todd C. Miller" <Todd.Miller@courtesan.com>
Date: Fri, 12 May 2017 10:02:18 -0600
Subject: [PATCH] Add cov-build and cov-submit targets for checking with
 coverity.

---
 Makefile.in | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/Makefile.in b/Makefile.in
index f3621fd2e..d85a8f40c 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -117,6 +117,20 @@ splint: config.status
 	done; \
 	exit $$rval
 
+cov-build:
+	make clean
+	cov-build --dir cov-int make ${MFLAGS} all
+
+cov-upload:
+	tar zcf cov-int.tgz cov-int
+	curl --form token=$$COVERITY_SUDO_TOKEN \
+	    --form email=todd.miller@courtesan.com \
+	    --form file=@cov-int.tgz \
+	    --form version="$(VERSION)" \
+	    https://scan.coverity.com/builds?project=sudo
+
+cov-analyze: cov-upload
+
 install-dirs install-binaries install-includes install-plugin: config.status pre-install
 	for d in $(SUBDIRS); do \
 	    (cd $$d && exec $(MAKE) "INSTALL_OWNER=$(INSTALL_OWNER)" $@) && continue; \
@@ -327,6 +341,7 @@ clean: config.status
 	for d in $(SUBDIRS) $(SAMPLES); do \
 	    (cd $$d && exec $(MAKE) $@); \
 	done
+	-rm -rf cov-int cov-int.tgz
 
 mostlyclean: clean
 
-- 
2.40.0