patch 8.2.3319: Coverity action on github does not work

Problem:    Coverity action on github does not work.
Solution:   Remove undefined $SRCDIR. (James McCoy, closes #8739)

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 436c7b2c98243655438c973288f0615c803f1ea1..4b3ee192c79c5e65c69d891c9c089be7b90052d7 100644 (file)
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -59,8 +59,8 @@ jobs:
         run: |
           ./configure --with-features=huge ${CONFOPT} --enable-fail-if-missing
           # Append various warning flags to CFLAGS.
-          sed -i -f ci/config.mk.sed ${SRCDIR}/auto/config.mk
-          sed -i -f ci/config.mk.${CC}.sed ${SRCDIR}/auto/config.mk
+          sed -i -f ci/config.mk.sed src/auto/config.mk
+          sed -i -f ci/config.mk.${CC}.sed src/auto/config.mk
 
       - name: Build/scan vim
         run: |

diff --git a/src/version.c b/src/version.c
index 8971e5dd868f180da09d41afa5d5147beefcb8d7..61d7b10f4ec8bbb75aad471ed30282211860abf0 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -755,6 +755,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    3319,
 /**/
     3318,
 /**/