From eed9616120f60ad17d5e133f505bba5c559aee89 Mon Sep 17 00:00:00 2001 From: James McCoy Date: Mon, 9 Aug 2021 13:20:38 +0200 Subject: [PATCH] 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) --- .github/workflows/coverity.yml | 4 ++-- src/version.c | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 436c7b2c9..4b3ee192c 100644 --- 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 8971e5dd8..61d7b10f4 100644 --- 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, /**/ -- 2.40.0