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)

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 9771ae49dfb7b9492e03b83a7b24be9cd3fc936d..ce21ab26266b7932b70697a9dd192f6c2e293630 100644 (file)
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -10,6 +10,7 @@ jobs:
 
     env:
       CC: gcc
+      CFLAGS: -Wno-deprecated-declarations
       DEBIAN_FRONTEND: noninteractive
 
     steps:

diff --git a/src/version.c b/src/version.c
index 31e8182ca91b67948f70a5d7f3cd3edf8852a50c..275492f3af8ed4d4e12721dc62ebdd895e83b30a 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -707,6 +707,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    302,
 /**/
     301,
 /**/