commit 75e9a6693e8d0126b5fff42203bfba9428cd19ae
author Philip H <47042125+pheiduck@users.noreply.github.com> Sun Aug 28 17:59:05 2022 +0100
committer Bram Moolenaar <Bram@vim.org> Sun Aug 28 17:59:05 2022 +0100
tree 0cfa8ac8c4a8f3a3ac53270668c13f50f03a06b4
parent 878e1d25a0a5b03233bf6ad64073fcf576c2aea5

patch 9.0.0302: CI for Coverity is bothered by deprecation warnings

Problem:    CI for Coverity is bothered by deprecation warnings.
Solution:   Ignore deprecation warnings. (closes #11002)

.github/workflows/coverity.yml

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 9771ae4..ce21ab2 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -10,6 +10,7 @@
 
     env:
       CC: gcc
+      CFLAGS: -Wno-deprecated-declarations
       DEBIAN_FRONTEND: noninteractive
 
     steps:

src/version.c

diff --git a/src/version.c b/src/version.c
index 31e8182..275492f 100644
--- a/src/version.c
+++ b/src/version.c
@@ -708,6 +708,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    302,
+/**/
     301,
 /**/
     300,